val pp_instruction: [< ASM.labelled_instruction] -> string