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

static method main() → dynamic {
  core::int b = 1;
  core::int c = 2;
  core::int d = 3;
  core::int e = 4;
  core::int f = 5;
  core::int g = 6;
  core::int as = 7;
  self::a(b.{core::num::<}(c){(core::num) → core::bool}, d.{core::num::<}(e){(core::num) → core::bool}, f.{core::num::<}(g){(core::num) → core::bool}, as.{core::int::>>>}(1){(core::int) → core::int});
}
static method a(core::bool x, core::bool y, core::bool z1, core::int z2) → void {
  core::print("${x} ${y} ${z1} ${z2}");
}