Implementations of code in Understanding Computation