#include "library.h"

void count_down_from(const int N)
{ print(N);
  new_line();
  if (N > 0)
    count_down_from(N-1); }

void main()
{ count_down_from(20); }