let i: i32;
for (i = 0; i < 10; ++i) {
  ;
}
if (i != 10)
  unreachable();