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

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

{

  undefined4 local_res8;

  undefined4 local_resc;

  local_res8 = param_3;

  local_resc = param_4;

  if (DAT_00422a48 != 0) {

    vfprintf(_stdout,param_2,&local_res8)   //possible issue identified - semgrep

  }

  FUN_00405b10(param_1);

  return;

}