Implementation of a Virtual Machine for the Hack computer system from The Elements of Computing Systems (TECS)