import time unbuffer_stdout() for i in 1 .. 9999 { time.sleep(10 * time.millisecond) println('${i:04} iteration') }