debugging checkpoint