Add a smoke test.

This is designed to prevent the sort of error I introduced in
71b9994c2bbe1e65e296c4f7f839e234e8f73c33 and corrected in
756710f76f7bf2fa1f16da5700d64a29ac59a8a0.