let field (l:loc) f =
      Fields.define f;
      Tint.shift_field l f