#include <stdio.h>

void print()
{
  printf("Hello world!\n");
}