Constant CPXMI_RHS_SMALL_NUM 

pub const CPXMI_RHS_SMALL_NUM: u32 = 1008;