void(* Exit_user_routine) ()=0

static

Definition at line 126 of file dis.c.

Referenced by dis_add_exit_handler(), and exit_handler().