void main(void)

{
  v();
  return;
}


void v(void)

{
  char local_20c [520];

  fgets(local_20c,0x200,stdin);
  printf(local_20c);
  if (m == 0x40) {
    fwrite("Wait what?!\n",1,0xc,stdout);
    system("/bin/sh");
  }
  return;
}