Constant _keccak512_hash_to_address 

pub const _keccak512_hash_to_address: Symbol;