Constant Z_UTIL_DEC_1254 

pub const Z_UTIL_DEC_1254: u32 = 1253; // 1_253u32