countdown(X) := write(X).