PT_MAXSEMIDS
pt_to_str(PT_MAXSEMIDS));
case PT_MAXSEMIDS:
remove_aliased_rctl(PT_MAXSEMIDS, ALIAS_MAXSEMIDS);
} else if (prop_type == PT_MAXSEMIDS) {
| MAXSEMIDS { $$ = PT_MAXSEMIDS; }