Constant EverCrypt_Hash_SHA2_384_s 

pub const EverCrypt_Hash_SHA2_384_s: u32 = 4;