n0 = 0
last = n0
n1 = 0
best = n1
n2 = 0
i = n2

S:
n3 = (i < size)
if n3 then GOTO L
GOTO E

L:
p = &g + i          // int h = g[i]
n4 = ↓ p            // E -> ID[E]
h = n4              // ID      ID

n5 = h + last       // last = h v (h + last)
n6 = h v n5         //  ID  = E   v    E
last = n6           //        ID    (E + E)
                    //               ID  ID

n7 = best v last    // best = best v last
best = n7           //  E   =  E   v  E
                    //  ID  =  ID  v  ID

n8 = 1              // i = i + 1
n9 = i + n8         // E = (E + E)
i = n9              // ID   ID  NUM

GOTO S

E:
result = best       // ID = E