IPOPT_CIPSO
{ IPOPT_CIPSO, 0x000800, 3, "cipso" }, /* size ?? */
| IPFY_IPOPT_CIPSO { $$ = getoptbyvalue(IPOPT_CIPSO); }
{ IPOPT_CIPSO, 0x000800 },