SHA512 in c