// Copyright (c) 2016, 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.

// VMOptions= --no_limit_ints_to_64_bits
library dart2js.serialization.model0_test;

import 'model_test_helper.dart' as test;
import 'test_helper.dart';

main() {
  test.main(testSkipped(0, test.SKIP_COUNT));
}