These tests don't compile but should.
