begin
  var i1: integer := $FFFFFFFF;
  var i2: integer := $FFFFFFFFFFFFFFFF;
  Assert(i1 = i2);
end.