dreach_tool: checkpoint