BCHDisassembleVLEInstruction
val disassemble_vle_instruction : BCHLibTypes.pushback_stream_int -> BCHLibTypes.doubleword_int -> int -> BCHPowerTypes.pwr_opcode_t