IPOPT_ADDEXT
{ IPOPT_ADDEXT, 0x004000, 3, "addext" }, /* IPv7 ?? */
| IPFY_IPOPT_ADDEXT { $$ = getoptbyvalue(IPOPT_ADDEXT); }
{ IPOPT_ADDEXT, 0x004000 },