Constant NUM_DISCHARGE_POLICIES 

pub const NUM_DISCHARGE_POLICIES: u32 = 4u32;