library /*isNonNullableByDefault*/;
import self as self;
import "main_lib.dart" as mai;
import "dart:core" as core;

import "org-dartlang-testcase:///main_lib.dart";

static method main() → dynamic {
  mai::MyInt|a = 42;
  core::print(mai::MyInt|a);
  mai::MyInt|b = 87;
  core::print(mai::MyInt|b);
}

library /*isNonNullableByDefault*/;
import self as mai;
import "dart:core" as core;

extension MyInt on core::int {
  static field a = mai::MyInt|a;
  static field b = mai::MyInt|b;
}
late static field core::int MyInt|a;
late static field core::int MyInt|b = 42;