#include "library.h"

void count_down_from(int N)
{ if (N > 0)
  { print("The value of N is ");
    print(N);
    new_line();
    count_down_from(N - 1); } }

void main()
{ count_down_from(10); }