SHA512_256_Final
__weak_reference(_libmd_SHA512_256_Final, SHA512_256_Final);
void SHA512_256_Final(unsigned char [__min_size(SHA512_256_DIGEST_LENGTH)],
#ifndef SHA512_256_Final