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

void die(char *param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)

{

  undefined4 local_res4;

  undefined4 local_res8;

  undefined4 local_resc;

  local_res4 = param_2;

  local_res8 = param_3;

  local_resc = param_4;

  if (DAT_0041f150 == 0) {

    fprintf(_stderr,"%s: ERROR: ",g_Progname);

    vfprintf(_stderr,param_1,&local_res4)   //possible issue identified - semgrep

  }

  else {

    vsyslog(3,param_1,&local_res4)   //possible issue identified - semgrep

  }

                    /* WARNING: Subroutine does not return */

  exit(1);

}