userproc/UserProcess.java: UserProcess.handleExcetion:
default:
Lib.debug(dbgProcess, "Unexpected exception: " +
Processor.exceptionNames[cause]);
/* Fix defect by isprmgr, Var7 */
handleExit(-1); /*@BCA*/
Lib.assertNotReached("Unexpected exception");
Is it reasonable to invoke 'handleExit' for unhandled exception?