static void _returnFromException() { return_to_prog (); }
void _returnFromException (void) { return_to_prog (); }