MICHAEL_DIGEST_LENGTH
michael_final(u_int8_t digest[MICHAEL_DIGEST_LENGTH], MICHAEL_CTX *ctx)
void michael_final(u_int8_t [MICHAEL_DIGEST_LENGTH], MICHAEL_CTX *)
MICHAEL_DIGEST_LENGTH)));