checkpoint; basic exhaustive test