type bob is record
  x: integer;
end record;

type tim is record
  x : integer;
end record;
