#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(15); }