Nix declarations for a Virtual Machines used in some LIU courses
Discussion and notes for CS120 Spring 2020.