KG_TOK_SEAL_MSG
if ((toktype == KG_TOK_SEAL_MSG) && do_encrypt) {
if (toktype != KG_TOK_SEAL_MSG)
assert((!do_encrypt) || (toktype == KG_TOK_SEAL_MSG));
if (do_encrypt || toktype == KG_TOK_SEAL_MSG)
if (toktype == KG_TOK_SEAL_MSG) {