Added cref as a checkpoint for ex17.c