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