Constant Z_UTIL_X2_2571 

pub const Z_UTIL_X2_2571: u32 = 5142; // 5_142u32