8.26: believe it or not, I've decided that load_or_reload() will redefine symbols.