library;
import self as self;

static method main() → dynamic {
  dynamic x;
  dynamic i = 0;
  while ((let final dynamic #t1 = i in let final dynamic #t2 = i = #t1.+(1) in #t1).<(5)) {
    dynamic x = i;
  }
}