undefined4 main(void)

{
  char *pcVar1;
  int iVar2;
  char local_418 [1024];
  int local_18;
  FILE *local_14;

  puts("What\'s your name?");
  fgets(local_418,0x400,stdin);
  printf("Hi, ");
  printf(local_418);
  putchar(10);
  local_18 = 1;
  while( true ) {
    if (local_18 == 0) {
      local_14 = fopen("flag.txt","r");
      fgets(local_418,0x400,local_14);
      printf(local_418);
      return 0;
    }
    puts("Do you want the flag?");
    pcVar1 = fgets(local_418,0x400,stdin);
    if (pcVar1 == (char *)0x0) break;
    iVar2 = strcmp(local_418,"no\n");
    if (iVar2 == 0) {
      puts("I see. Good bye.");
      return 0;
    }
  }
  return 0;
}