print instruction encodings with the existing comment facilities,