IPOPT_SDB
| IPFY_IPOPT_SDB { $$ = getoptbyvalue(IPOPT_SDB); }
{ IPOPT_SDB, 0x100000, 4, "sdb" }, /* size ?? */