Constant MBEDTLS_CTR_DRBG_RESEED_INTERVAL 

pub const MBEDTLS_CTR_DRBG_RESEED_INTERVAL: u32 = 10000;