Q8 (#8)

Produces correct results: same as hw3.trace.