(module CCEqual)