checkpoint; all tests pass