This would be better done as an executable test.