let acc_field (s:record) (f:Cil_types.fieldinfo) =
  RecName.define f.Cil_types.fcomp ; e_getfield f s