Yeah, I followed the approach of letting user print the version he wants. I did not remove _emscripten_demangle since I also thought at first I had exposed it to emscripten.h, but now notice it was not the case, and it takes in a JS string anyways, so not immediately useful from C code. I'll remove emscripten_demangle function for now - perhaps add that later if it's useful.