(module CCInt)