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

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

{

  undefined4 local_res4;

  undefined4 local_res8;

  undefined4 local_resc;

  if (DAT_00414b30 != 0) {

    local_res4 = param_2;

    local_res8 = param_3;

    local_resc = param_4;

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

  }

  return;

}