val pp_instruction: ASM.labelled_instruction -> string