silly c/c++ name mangling