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

void error_exit(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;

  fputs("RNDIMGAE error: ",_stderr);

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

                    /* WARNING: Subroutine does not return */

  exit(1);

}