Constant EverCrypt_DRBG_SHA2_256_s 

pub const EverCrypt_DRBG_SHA2_256_s: u32 = 1;