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

import "package:expect/expect.dart";

static field core::int global;
static method fact4() → dynamic
  ;
static method fact5() → dynamic
  ;
static method fact6() → dynamic
  ;
static method main() → dynamic
  ;