Code from the workshop.