void pidfile_write_release(int param_1)

{

  FILE *__stream;

  __pid_t _Var1;

  if (-1 < param_1) {

    __stream = fdopen(param_1,"w")   //possible issue identified - semgrep

    if (__stream != (FILE *)0x0) {

      _Var1 = getpid();

      fprintf(__stream,"%d\n",_Var1);

      fclose(__stream);

    }

    lockf(param_1,2,0);

                    /* WARNING: Could not recover jumptable at 0x0040964c. Too many branches */

                    /* WARNING: Treating indirect jump as call */

    close(param_1);

    return;

  }

  return;

}