enforceEx!CompressException(…)? ;)