begin
  var a: longword := 2000000000;
  assert(a * 2 = 4000000000);
end.