michael_update
michael_update(ctx, pad, sizeof(pad));
void michael_update(MICHAEL_CTX *, const u_int8_t *, u_int)
michael_update(&ctx, (caddr_t)&wht, sizeof(wht));
michael_update(&ctx, pos, len);