checkpoint
progress
dedebug
better update semantics