Scanf.scanf "%d" (fun n -> for i = 1 to n do for j = 9 downto 10 - n do Printf.printf "%d" j done done; print_newline () )