Hello, world.

This code is mostly several years old, but we're not bringing the
history over. We'll remove the obsolete bits (such as `flet') at some
point.