void do_raise_exception_err(int excp, int err); void do_raise_exception(int excp); void do_interrupt_restart (void);
void do_clo (void); void do_clz (void); void do_dclo (void); void do_dclz (void);
