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