File:Regen control flow.png