Constant _keccak512_hash_to_u64_raw 

pub const _keccak512_hash_to_u64_raw: Symbol;