Code from today's lecture.