val pp_arg:
    [< `A
     | `ADDR11 of 'a BitVectors.vect
     | `ADDR16 of 'b BitVectors.vect
     | `A_DPTR
     | `A_PC
     | `B
     | `BIT of BitVectors.byte
     | `C
     | `DATA of 'c BitVectors.vect
     | `DATA16 of 'd BitVectors.vect
     | `DIRECT of BitVectors.byte
     | `DPTR
     | `EXT_INDIRECT of bool
     | `EXT_IND_DPTR
     | `INDIRECT of bool
     | `IND_DPTR
     | `NBIT of BitVectors.byte
     | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit
     | `REL of 'e BitVectors.vect ] -> string
val pp_instruction: [< ASM.labelled_instruction] -> string

val print_program : [< ASM.labelled_instruction] ASM.pretty_program -> string