Structure and test cases from Geir Hauge.