#include <string.h>
#include <stdio.h>

void dead () {
  printf("I will never be printed!\n");
  exit(1);
}


int main(int argc, char **argv) {

  char buffer[8];
  dead();
  strcpy(buffer, argv[1]);

  return 1;
}