Update names of C++ state writers for gen. code.