static function raise_exception( Exception $Ex, $type ){
		if( error_reporting() === 0 ){
			// suppressed with `@' operator
			return;
		}
		PLUG::clear_error_handlers();
		$code = $Ex->getCode() or $code = PLUG_EXCEPTION_STD;
		$Err = new PLUGError( $code, $type, $Ex->getMessage(), $Ex->getFile(), $Ex->getLine(), $Ex->getTrace() );
		$Err->raise();
		PLUG::set_error_handlers();
		return $Err;
	}