IPOPT_VISA
{ IPOPT_VISA, 0x008000, 3, "visa" }, /* size ?? */
| IPFY_IPOPT_VISA { $$ = getoptbyvalue(IPOPT_VISA); }
{ IPOPT_VISA, 0x008000 },