checkpoint; passing all existing tests