// within another function, eg Main() def loop(n : int) : void { when (n > 0) { WriteLine($"$n"); loop(n / 2); } } loop(1024)