void Print_func(undefined8 format_string,undefined8 param_list,undefined8 param_3,undefined8 param_4
               )

{
  undefined8 STDOUT;
  undefined8 *options;
  undefined8 param_list_copy;
  undefined8 local_res18;
  undefined8 local_res20;
  
  param_list_copy = param_list;
  local_res18 = param_3;
  local_res20 = param_4;
  STDOUT = __acrt_iob_func(1);
  options = (undefined8 *)Get_memory_options();
                    /* vfwprintf dans stdout */
  __stdio_common_vfwprintf(*options,STDOUT,format_string,0,&param_list_copy);
  return;
}