i  := m-1
j  := n
_1 := 4*n
v  := a
i  := i+1
_2 := 4*i
_3 := a
if (a < v) goto 4
j  := j-1
_4 := 4*j
_5 := a
if (a > v) goto 8
if (i >= j) goto 17
x  := _3
a  := _5
a  := x
if (t) goto 4
x   := _3
_14 := a
a   := _14
a   := x