Introduce constant H0 for SHA512