Checkpoints for Bloc Assignments