The the MC disassembler C API to print in verbose mode. Perhaps there should be...