1.0.42.24: print symbols with fully qualified names in critical places