void FUN_00402940(undefined4 param_1)

{
  undefined4 local_res0 [4];
  
  local_res0[0] = param_1;
  FUN_0047f370(DAT_004ba158,local_res0,4);
  return;
}