Constant Z_UTIL_DEC_3712

pub const Z_UTIL_DEC_3712: u32 = 3711;