let p_field ~atomic (ofs,_) f =
    assert (not atomic) ;
    F.e_iop Iadd ofs (e_field f) , e_sizeof (Ctypes.object_of f.ftype)