Provides classes that implement the Nachos simulated machine.