let field (l:loc) f = 
      Fields.define f;
      if f.fcomp.cstruct then Tint.shift_field l f else l