IPOPT_FINN
{ IPOPT_FINN, 0x040000, 3, "finn" }, /* size ?? */
| IPFY_IPOPT_FINN { $$ = getoptbyvalue(IPOPT_FINN); }
{ IPOPT_FINN, 0x040000 },