Add tests.

These currently fail.