#include <stdio.h>

int main (int argc, char *argv[]) {
  printf("Welcome to %s!", argv[0]);
  return 0;
}