library;
import self as self;
import "dart:core" as core;

class Uninitialized extends core::Object {
  field core::int x = null;
  synthetic constructor •() → self::Uninitialized
    : super core::Object::•()
    ;
}
class PartiallyInitialized extends core::Object {
  field core::int x;
  constructor •(core::int x) → self::PartiallyInitialized
    : self::PartiallyInitialized::x = x, super core::Object::•()
    ;
  constructor noInitializer() → self::PartiallyInitialized
    : self::PartiallyInitialized::x = null, super core::Object::•()
    ;
}
class Initialized extends core::Object {
  field core::int x;
  constructor •(core::int x) → self::Initialized
    : self::Initialized::x = x, super core::Object::•()
    ;
}
class Forwarding extends core::Object {
  field core::int x;
  constructor initialize(core::int x) → self::Forwarding
    : self::Forwarding::x = x, super core::Object::•()
    ;
  constructor •(core::int arg) → self::Forwarding
    : this self::Forwarding::initialize(arg)
    ;
}
static field core::int uninitializedTopLevel;
static field core::int initializedTopLevel = 4;
static method main() → dynamic {}