The `interpreter` package has lots of tests, some of which should maybe go into the manual as examples.