Constant Z_UTIL_DEC_712

pub const Z_UTIL_DEC_712: u32 = 711;