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 {}