Definition at line 532 of file dis.c.
References Exit_user_routine, and user_routine().
Referenced by dis_hash_print().