EverCrypt_DRBG_max_additional_input_length

Static EverCrypt_DRBG_max_additional_input_length 

Source
pub unsafe static mut EverCrypt_DRBG_max_additional_input_length: u32