Constant MBEDTLS_CTR_DRBG_MAX_REQUEST 

pub const MBEDTLS_CTR_DRBG_MAX_REQUEST: u32 = 1024;