C++ spec updates