My fork of the tools for The Elements of Computing Systems