[class] name mangling