MICHAEL_RAW_BLOCK_LENGTH
if (ctx->michael_count >= MICHAEL_RAW_BLOCK_LENGTH) {
PUTLE32(digest + MICHAEL_RAW_BLOCK_LENGTH, ctx->michael_r);
GETLE32(key + MICHAEL_RAW_BLOCK_LENGTH);