Symbol: audit_halt_setup