properly C++ const class mangling