Constant _keccak512_hash_to_group 

pub const _keccak512_hash_to_group: Symbol;