IPSO_CLASS_TOPS
{ IPSO_CLASS_TOPS, 0x02, 0, "topsecret" },
| IPFY_SEC_TS { $$ = secbit(IPSO_CLASS_TOPS); }
{ IPSO_CLASS_TOPS, 0x02 },