INSN_TYPE         107 user/testbin/crash/crash.c 	INSN_TYPE *x = (INSN_TYPE *)write_to_code;
INSN_TYPE          16 user/uw-testbin/vm-crash1/vm-crash1.c 	INSN_TYPE *x = (INSN_TYPE *) main;
INSN_TYPE          21 user/uw-testbin/vm-crash3/vm-crash3.c 	INSN_TYPE *x = (INSN_TYPE *) func_150;