checkpointing revised bind impls