Code for the REST chapter of the Lift Cookbook