Symbol: SHA512_CORE_STATE_SIZE