let main =
  while (True) {
    while (!x >? 0)
      x := !x - 1
  }