TOPLEVEL: allow to load different version of the toplevel
META