dfa_user_quiet
perms.quiet = map_old_perms(dfa_user_quiet(dfa, state));
perms.quiet = dfa_user_quiet(dfa, state);