f i=0 construct x construct y construct z destruct z destruct y destruct x f i=1 construct x construct y construct z destruct z destruct y destruct x f i=2 construct x construct y construct z destruct z destruct y destruct x f i=3 construct x construct y construct z destruct z destruct y destruct x g for i=0 construct x destruct x g for i=1 construct x destruct x g for i=2 construct x destruct x g for i=3 construct x destruct x g for i=4 construct x destruct x g for i=5 construct x destruct x g for i=6 construct x destruct x g for i=7 construct x destruct x g for i=8 construct x destruct x g for i=9 construct x destruct x g while i=0 construct x destruct x g while i=1 construct x destruct x g while i=2 construct x destruct x g while i=3 construct x destruct x g while i=4 construct x destruct x g while i=5 construct x destruct x g while i=6 construct x destruct x g while i=7 construct x destruct x g while i=8 construct x destruct x g while i=9 construct x destruct x construct y g switch i=0 destruct y construct y g switch i=1 destruct y construct y g switch i=2 destruct y construct y g switch i=3 destruct y construct y g switch i=4 destruct y construct y g switch i=5 destruct y construct y g switch i=6 destruct y construct y g switch i=7 destruct y construct y g switch i=8 destruct y construct y g switch i=9 destruct y g for k=0 g for i=0 construct x g for j=0 construct y continue L2 destruct y g for j=1 construct y break L2 destruct y destruct x g for i=1 construct x g for j=0 construct y continue L2 destruct y g for j=1 construct y break L2 destruct y destruct x g for i=2 construct x continue L1 destruct x g for i=3 construct x break L1 destruct x g for k=1 g for i=0 construct x g for j=0 construct y continue L2 destruct y g for j=1 construct y break L2 destruct y destruct x g for i=1 construct x g for j=0 construct y continue L2 destruct y g for j=1 construct y break L2 destruct y destruct x g for i=2 construct x continue L1 destruct x g for i=3 construct x break L1 destruct x construct w construct v break L3 destruct v destruct w h construct y L1 construct x L2 goto L1 destruct x L1 construct x L2 goto L2 L2 goto L3 L3 goto L2-2 L2 goto L4 destruct x destruct y L4 goto L0 construct y L1 construct x L2 goto L4 destruct x destruct y L4