public void InstallGenericExceptionCatchPoint(ExceptionCatchPointHandler handler) { this.generic_exc_handler = handler; }