map_other
perms.allow |= map_other(dfa_other_allow(dfa, state));
perms.audit |= map_other(dfa_other_audit(dfa, state));
perms.quiet |= map_other(dfa_other_quiet(dfa, state));