code snippets for Lecture 5

These are also hyperlinked from the pdf if your reader is set up right (tested with evince, mupdf / emacs-pdftools, on Linux).