checkpointing some first work on visiting pointers