Write C++ mangle, then store substitute.