1 2 3
void do_raise_exception_err(int excp, int err); void do_raise_exception(int excp); void do_interrupt_restart (void);