a non-compiling checkpoint