#include "library.h"

void main()
{ print("Greetings, Human.\n");
  print("\tsix times nine is ");
  print(6 * 9); }