An example that's actually repl-able