Constant fips_counter_t_fips_counter_evp_aes_128_ctr 

pub const fips_counter_t_fips_counter_evp_aes_128_ctr: fips_counter_t = 2;