map_xbits
perms.allow |= map_xbits(dfa_user_xbits(dfa, state));
perms.quiet |= map_xbits(dfa_other_xbits(dfa, state));