main := proc() { print_up_to(read_int(0)) exit(0) } print_up_to := proc(n) { print(n) if n > 0 { print_up_to(n - 1) } }