f(x16, x8) {
   46:	nop
   45:	nop
   44:	x36 = 0
   43:	nop
   42:	nop
   41:	x34 = μ(x38, x36)
     nop
   40:	x140 = x34
   39:	x156 = x140 >>x 1
   38:	x148 = x156 * 2 + 0 (int)
   37:	x132 = x140 - x148
   36:	if (x132 !=u 0) goto 34 else goto 35
   35:	goto 29
   34:	x108 = long32signed(x34)
   33:	x124 = x108
   32:	x116 = int32[x8 + x124 * 4 + 0]
   31:	int32[x16 + x108 * 4 + 0] = x116
   30:	nop
   29:	nop
   28:	x38 = x34 + 1 (int)
   27:	if (x38 <s 1000) goto 2 else goto 26
   26:	x157 = η(((¬(x132 !=u 0) ∨ (x132 !=u 0)) ∧ ¬(x38 <s 1000)), x34)
     nop
   25:	x28 = 0
   24:	nop
   23:	nop
   22:	x26 = μ(x28, x30)
     nop
   21:	x84 = x26
   20:	x100 = x84 >>x 1
   19:	x92 = x100 * 2 + 0 (int)
   18:	x76 = x84 - x92
   17:	if (x76 ==u 0) goto 15 else goto 16
   16:	goto 10
   15:	x52 = long32signed(x26)
   14:	x68 = x52
   13:	x60 = int32[x8 + x68 * 4 + 0]
   12:	int32[x16 + x52 * 4 + 0] = x60
   11:	nop
   10:	nop
    9:	x30 = x26 + 1 (int)
    8:	if (x30 <s 1000) goto 4 else goto 7
    7:	x158 = η(((¬(x76 ==u 0) ∨ (x76 ==u 0)) ∧ ¬(x30 <s 1000)), x26)
     nop
    6:	x44 = int32[x16 + 400]
    5:	return x44
    4:	nop
    3:	goto 22
    2:	nop
    1:	goto 41
}