pub unsafe extern "C" fn EverCrypt_DRBG_instantiate_sha2_256( st: *mut EverCrypt_DRBG_state_s, personalization_string: *mut u8, personalization_string_len: u32, ) -> bool