/* WARNING: Globals starting with '_' overlap smaller symbols at the same address */

void FUN_004023d0(void)

{

  int __fd;

  int __fd2;

  __fd = open("/dev/console",0x102)   //possible issue identified - semgrep

  if (__fd != -1) {

    __fd2 = fileno(_stderr);

    dup2(__fd,__fd2);

    if (__fd != 0) {

                    /* WARNING: Could not recover jumptable at 0x00402454. Too many branches */

                    /* WARNING: Treating indirect jump as call */

      close(__fd);

      return;

    }

  }

  return;

}