dfa_other_quiet
perms.quiet = map_old_perms(dfa_other_quiet(dfa, state));
perms.quiet |= map_other(dfa_other_quiet(dfa, state));