(module CCCat)