Symbol: core_hash_SHA2