Constant IN_BOUNDS_READS 

pub const IN_BOUNDS_READS: AssumptionText;