INVAL_INSN        108 user/testbin/crash/crash.c 	*x = INVAL_INSN;
INVAL_INSN         30 user/uw-testbin/romemwrite/romemwrite.c   *x = INVAL_INSN;
INVAL_INSN         17 user/uw-testbin/vm-crash1/vm-crash1.c 	*x = INVAL_INSN;
INVAL_INSN         22 user/uw-testbin/vm-crash3/vm-crash3.c 	*x = INVAL_INSN;