ill also be raised if the given library defines
    toplevel modules whose name matches that of an interface depended
    on by a module existing in either the main program or a shared
    library previously loaded with <code class="code">loadfile</code>. This applies even if
    such dependency is only a "module alias" dependency (i.e. just on
    the name rather than the contents of the interface).</p>

<p>The compilation units loaded by this function are not added to the
    "allowed units" list (see <a 