dfa_other_allow
perms.allow = map_old_perms(dfa_other_allow(dfa, state));
perms.allow |= map_other(dfa_other_allow(dfa, state));