#include <stdio.h>

int main(int argc, char **argv) {
  printf("%s\n", argv[0]);
  printf("Bonjour %s\n", argv[1]);
  return(0);
}