checkpointing (not compiling right now) binder work