void FUN_00403ea0(int param_1)

{

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

    free(DAT_0043490c);

  }

  FUN_00403e44("%s exit with code %d\n","xmldbc",param_1);

                    /* WARNING: Subroutine does not return */

  exit(param_1);

}