// 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.

// @dart = 2.9

import "package:expect/expect.dart";

class A {
  int a;
  double d1;
  double d2;
  double d3;
  double d4;
  double d5;
  double d6;
  double d7;
  double d8;
  double d9;
  double d10;
  double d11;
  double d12;
  double d13;
  double d14;
  static var s;

  static foo() {
    return s;
  }

  A(this.a) {}

  value() {
    return a + foo();
  }
}

class AllocateLargeObject {
  static testMain() {
    var a = new A(1);
    A.s = 4;
    Expect.equals(5, a.value());
  }
}

main() {
  AllocateLargeObject.testMain();
}