Project code for The Elements of Computing Systems.