Projects for The Elements of Computing Systems by Nisan and Schocken