switching back; checkpoint