Utilities for CatEngine.