begin
  var a : BigInteger := 5;
  var b : BigInteger := 3;
  assert(a+b=BigInteger(8));
  assert(a-b=BigInteger(2));
  assert(a*b=BigInteger(15));
  var x := integer(12);
end.