Clean up tests.
Implement a host satisfying the constraints.