pippo1.c

#include <stdio.h>
int main()
{
  printf("Hello, Pippo1\n");
  return 0;
}