debug-out refinement