#include <stdio.h>

void main(int argc, char * argv[])
{
  printf("Ciao, %s!\n",argv[1]);
}