Constant _keccak512_hash_to_u64 

pub const _keccak512_hash_to_u64: Symbol;