public String toString() { return String.format("#%d (@%d) %s", index() + 1, offset(), Opcode.forOpcode(opcode())); }