void FUN_004029c0(undefined4 param_1)

{

  undefined4 local_res0 [4];

  local_res0[0] = param_1;

  write(DAT_00418ee8,local_res0,4);

  return;

}