Constant fips_counter_t_fips_counter_max

pub const fips_counter_t_fips_counter_max: fips_counter_t = 3;