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)