5 %n1 =w phi @start %n0, @loop %n2
7 %p0 =w phi @start 0, @loop %p01
8 %p1 =w phi @start 0, @loop %p11
9 %p2 =w phi @start 0, @loop %p21
10 %p3 =w phi @start 0, @loop %p31
11 %p4 =w phi @start 0, @loop %p41
12 %p5 =w phi @start 0, @loop %p51
13 %p6 =w phi @start 0, @loop %p61
14 %p7 =w phi @start 0, @loop %p71
15 %p8 =w phi @start 0, @loop %p81
16 %p9 =w phi @start 0, @loop %p91
17 %pa =w phi @start 0, @loop %pa1
18 %pb =w phi @start 0, @loop %pb1
19 %pc =w phi @start 0, @loop %pc1
20 %pd =w phi @start 0, @loop %pd1
21 %pe =w phi @start 0, @loop %pe1
22 %pf =w phi @start 0, @loop %pf1
67 # int main() { return !(f(1) == 136); }