working on describing control flow impl