Constant fips_counter_t_fips_counter_evp_aes_256_ctr 

pub const fips_counter_t_fips_counter_evp_aes_256_ctr: fips_counter_t = 3;