Constant Z_UTIL_DEC_4000

pub const Z_UTIL_DEC_4000: u32 = 3999;