michael_key
ctx->michael_l = ctx->michael_key[0] =
ctx->michael_r = ctx->michael_key[1] =
u_int32_t michael_key[2];
void michael_key(const u_int8_t *, MICHAEL_CTX *)
michael_key(key, &ctx);