// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/**
 * @assertion The predeﬁned Dart function identical() is deﬁned such that
 * identical(c1, c2) iff:
 * . . .
 *  • c1 and c2 are instances of int and c1 == c2.
 * @description Checks that two large ints representing the same value are
 * identical.
 * @author kaigorodov
 * @note renamed from 1_Object_Identity_A01_t03.dart
 */
import "../../../Utils/expect.dart";

mul(var i1, var i2) {
  return i1 * i2;
}

main() {
  var i1 = 32000;
  var i2 = 33000;
  Expect.isTrue(identical(mul(i1, i2), mul(i2, i1)));
}