let p_range ~atomic (ofs,_) te ~offset ~length = let s = sizeof ~atomic te in F.e_iop Iadd ofs (F.e_iop Imul s offset) , (F.e_iop Imul s length)