Constant Z_UTIL_DEC_713

Source
pub const Z_UTIL_DEC_713: u32 = 712;