avoid using abort(). it is not nice.