Constant consts_RECIP_MASK 

pub const consts_RECIP_MASK: consts = 1048575;