return to top
source
Return .done for positive Int values. We don't want to unfold in the symbolic evaluator.
.done