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

static method main() → void {
  core::int d = 1;
  core::bool x = false;
  #L1:
  {
    final synthesized core::int #0#0 = d;
    final const synthesized core::int #0#1 = #C1;
    {
      if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0 && (x = true)) {
        {
          core::print("OK!");
        }
      }
    }
  }
}

constants  {
  #C1 = 1
}