https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108183 --- Comment #7 from Iain Sandoe <iains at gcc dot gnu.org> --- note that these symbols seem to appear right at the end of the list - after the HelloWorld ones (which _are_ correctly non-external). Not sure if that's relevant information.