Checkpoint before going to TeX