#include <stdio.h>

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