checkpoint support
comment-out debug output