void FUN_0040686c(int param_1)

{

  if (DAT_00422a60 != (void *)0x0) {

    free(DAT_00422a60);

  }

  FUN_00406550("%s exit with code %d.\n","devconf",param_1);

                    /* WARNING: Subroutine does not return */

  exit(param_1);

}