^open Printf let rec count puts i = if i = 0 then .<()>. else .<(.~puts .~(lift(sprintf "%d" i)); .~(count puts (i-1)))>. ?> ~count .. n ?>