Dbg_audit_terminate
extern void Dbg_audit_terminate(Lm_list *, const char *);
DBG_CALL(Dbg_audit_terminate(lml, nname));
DBG_CALL(Dbg_audit_terminate(lml, name));