All of the load bands are huge in size - Bigger than physical memory for small machines. What exactly does the microcode do with them? Does it try to load them into the main memory, or M-memory, or somewhere else? Does the microcode control paging of the load band or does the LISP code do it?