Constant Hash_Sum_SHA3_512h 

pub const Hash_Sum_SHA3_512h: Hash_Sum = 2092137200;