#include "print.h"

int main ()
{
  printf("Hello world!\n");
  return 0;
}