go2 =>
  while_loop(1024).

while_loop(0) => true.
while_loop(N) =>
  println(N),
  while_loop(N//2).