Bug: C++ counts cats and cons separately