#include "library.h"

void count_down_from(int C)
{ if (C < 0)
    print("All done");
  else
  { print(C);
    print(" degrees centigrade is ");
    print((int)(32 + C*9.0/5 + 0.5));
    print(" degrees fahrenheit");
    new_line();
    count_down_from(C-3); } }

void main()
{ count_down_from(35); }