C/C++ can output the correct type name now.