Add a better bytecode-printing mechanism.