_0 := c _1 := d y := _0 + _1 _2 := y _3 := a _4 := b w := _3 + _4 v := _2 + w _0 := y _1 := z _2 := m z := _1 + _2 x := _0 + z _3 := d _4 := e m := _3 + _4 _5 := x _6 := w v := _5 + _6 if ( z < n ) goto 8 _0 := v _1 := w x := _0 + _1