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

static const field core::List<core::int> a = #C1;
static const field core::List<core::int> b = #C2;
static method main() → void {}

constants  {
  #C1 = <core::Null?>[]
  #C2 = <core::int*>[]
}