int main(int argc, char **argv)
{
  if (atoi(argv[1]) == 423) {
    execv("/bin/sh", 0);
  }
  else {
    puts("No !");
  }
  return 0;
}