Core toplevel (i.e. containing main) module can import other modules and participate in compilation; no checks no guarantees :-)