Constant Z_UTIL_DEC_4013 

pub const Z_UTIL_DEC_4013: u32 = 4012; // 4_012u32