rename section 2.8 tests, and add declarations for 2.9