Constant fips_counter_t_fips_counter_max 

pub const fips_counter_t_fips_counter_max: fips_counter_t = 3;