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