void FUN_004018b0(int param_1)

{

  pidfile_delete(DAT_0041bc84);

                    /* WARNING: Subroutine does not return */

  exit(param_1);

}