PT_MAXMSGIDS
pt_to_str(PT_MAXMSGIDS));
case PT_MAXMSGIDS:
remove_aliased_rctl(PT_MAXMSGIDS, ALIAS_MAXMSGIDS);
} else if (prop_type == PT_MAXMSGIDS) {
| MAXMSGIDS { $$ = PT_MAXMSGIDS; }