ONE_PRINC
krb5_store_int32(sp, ONE_PRINC);
if (opcode == ONE_PRINC) {
} while (opcode == ONE_PRINC);
case ONE_PRINC :