checkpointing (not compilable) check operations