(module CCVector)