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