insn.c revision 72fd7236
1