let upd_field (s:record) f v : record  =
  RecName.define f.Cil_types.fcomp ; e_setfield f s v