Constant Z_UTIL_DEC_872 

pub const Z_UTIL_DEC_872: u32 = 871; // 871u32