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

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

  if (DAT_0041d9d8 != 0) {

    printf("%s <-- ",DAT_0041d9d4);

  }

  if (DAT_0041d9d8 != 0) {

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

  }

  fflush(DAT_0041f9e4);

  FUN_00405ecc();

  return;

}