michael_block
michael_block(mctx->l, mctx->r);
michael_block(mctx->l, mctx->r);
michael_block(mctx->l, mctx->r);
michael_block(mctx->l, mctx->r);
michael_block(mctx, get_unaligned_le32(da));
michael_block(mctx, get_unaligned_le16(&da[4]) |
michael_block(mctx, get_unaligned_le32(&sa[2]));
michael_block(mctx, tid);
michael_block(&mctx, get_unaligned_le32(&data[block * 4]));
michael_block(&mctx, val);
michael_block(&mctx, 0);