modified:   src/checkpoints.cpp
	modified:   src/kernel.cpp