g := 0
v := a + b
w := v + c
if (z == w) goto 1
z := c
z := z + 1