NOW_YOU_HAVE
krb5_store_int32 (sp, NOW_YOU_HAVE);
} else if (opcode == NOW_YOU_HAVE)
if (opcode != NOW_YOU_HAVE)
case NOW_YOU_HAVE :