Programming work for Nachos environment.