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