Test: mt_5

Higher SubleqErrorOutputSubleqITR
/*
   [ ] ( ) { } . ->
   ++ -- & * + - ~ !
   / % << >> < > <= >= == != ^ | && ||
   ? : ; ...
   = *= /= %= += -= <<= >>= &= ^= |=
   , # ##
   <: :> <% %> %: %:%:
*/

int i[10];

void main()
{
   i[0] = 50;
   ++i[0];
   --i[0];
   i[1] = &i[0];
   i[1] = *i[1];
   i[1] = -+-i[1];
   i[2] = !i[1];
   i[3] = i[1]/10;
   i[4] = i[1]%10;

   i[5] = ( i[1] < 1 && i[1] <= 1 || i[1] >= 1 );
   i[6] = ( i[1] > 1 || i[1] == 1 && i[1] != 1 );

   i[7] += i[7] -= 1;

   i[8] = i[5] ? i[4] : i[3];

}




   top:top top sqmain

.  _i:[10]

_main:
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; bp 0
   bp; sp bp
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t1 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t2 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t3 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t4 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t5 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t6 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t7 0

   t1; t2; c2 t1; c3 t1; t1 t2
   ?+23; ?+21; ?+24; t2 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; c1 Z; Z 0; Z

   t1; t2; c2 t1; c3 t1; t1 t2
   t2 Z; ?+9; Z ?+5; Z; inc 0

   t1; t2; c2 t1; c3 t1; t1 t2
   t2 Z; ?+9; Z ?+5; Z; dec 0

   t1; t2; c2 t1; c3 t1; t1 t2
   t1; t3; c2 t1; dec t1; t1 t3
   ?+23; ?+21; ?+24; t3 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t1; t2; c2 t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; ?+11; t3 Z; Z ?+4; Z; 0 t2; t2 t1
   t3; t2; c2 t3; dec t3; t3 t2
   ?+23; ?+21; ?+24; t2 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t1 Z; Z 0; Z

   t1; t2; c2 t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t2 t3
   t2; t1; c2 t2; dec t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   t1; t2; c2 t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 Z; Z t2 ?+3; Z Z ?+9; Z; t3 t2; t3 t2
   t3; t2 t3; inc t3
   Z t3 l1
   t3; dec Z; Z t3; Z
   Z Z l2
l1:
   t3; c3 Z; Z t3; Z
l2:
   t2; t1; c2 t2; c4 t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; c5 Z; Z 0; Z
   t1; t2; c2 t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t3 Z; Z 0; Z
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; ?+2 0 __div; . ?;
   t3; ax t3
   c6 sp
   t2; t1; c2 t2; c7 t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; c5 Z; Z 0; Z
   t1; t2; c2 t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t3 Z; Z 0; Z
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; ?+2 0 __mod; . ?;
   t3; ax t3
   c6 sp
   t2; t1; c2 t2; c8 t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   t1; t2; c2 t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; dec Z; Z t2; Z; t3 t2
   t3; Z t2 l3
   t1; t4; c2 t1; dec t1; t1 t4
   t1; t5; ?+11; t4 Z; Z ?+4; Z; 0 t1; t1 t5
   t4; dec Z; Z t4; Z; t5 t4; inc t4
   Z t4 l3; inc t3;
l3:
   t4; inc t4; Z t3 ?+3; Z Z l4
   t2; t5; c2 t2; dec t2; t2 t5
   t2; t1; ?+11; t5 Z; Z ?+4; Z; 0 t2; t2 t1
   t5; t1 Z; Z t5; Z; dec t5; inc t5
   Z t5 ?+3; Z Z l4; t4;
l4:
   Z t4 l5
   t4; dec Z; Z t4; Z
   Z Z l6
l5:
   t4; c3 Z; Z t4; Z
l6:
   t5; t3; c2 t5; c9 t5; t5 t3
   ?+23; ?+21; ?+24; t3 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t4 Z; Z 0; Z

   t1; t2; c2 t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 Z; Z t2; Z; dec t2
   t3; inc t3; Z t2 ?+3; Z Z l8
   t1; t4; c2 t1; dec t1; t1 t4
   t1; t5; ?+11; t4 Z; Z ?+4; Z; 0 t1; t1 t5
   t4; t5 Z; Z t4; Z; dec t4 ?+3
   t4 t4 ?+9; t4 Z ?+3; Z Z ?+3; inc t4
   t5; Z t4 l7
   t1; t6; c2 t1; dec t1; t1 t6
   t1; t7; ?+11; t6 Z; Z ?+4; Z; 0 t1; t1 t7
   t6; t7 Z; Z t6; dec t6 ?+3; Z Z ?+15
   Z; t6 Z ?+9; Z; t6; inc t6
   Z t6 l7; inc t5;
l7:
   Z t5 ?+3; Z Z l8; t3;
l8:
   Z t3 l9
   t3; dec Z; Z t3; Z
   Z Z l10
l9:
   t3; c3 Z; Z t3; Z
l10:
   t5; t2; c2 t5; c10 t5; t5 t2
   ?+23; ?+21; ?+24; t2 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   t1; t2; c2 t1; c11 t1; t1 t2
   ?+12; t2 Z; Z ?+5; Z; dec 0
   t2; t1; c2 t2; c11 t2; t2 t1
   ?+15; t1 Z; Z ?+8; Z
   dec Z; Z 0; Z

   t1; t2; c2 t1; c9 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   Z t3 l11
   t2; t1; c2 t2; c8 t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   t3; t4 Z; Z t3; Z
   Z Z l12
l11:
   t1; t2; c2 t1; c7 t1; t1 t2
   t1; t5; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t5
   t3; t5 Z; Z t3; Z
l12:
   t5; t4; c2 t5; c12 t5; t5 t4
   ?+23; ?+21; ?+24; t4 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   ?+8; sp ?+4; t7; 0 t7; inc sp
   ?+8; sp ?+4; t6; 0 t6; inc sp
   ?+8; sp ?+4; t5; 0 t5; inc sp
   ?+8; sp ?+4; t4; 0 t4; inc sp
   ?+8; sp ?+4; t3; 0 t3; inc sp
   ?+8; sp ?+4; t2; 0 t2; inc sp
   ?+8; sp ?+4; t1; 0 t1; inc sp
   sp; bp sp
   ?+8; sp ?+4; bp; 0 bp; inc sp
   ?+8; sp ?+4; ?+7; 0 ?+3; Z Z 0

__div:
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; bp 0
   bp; sp bp
   c7 sp
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t1 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t2 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t3 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t4 0

   t1; t2; bp t1; dec t1; t1 t2
   ?+23; ?+21; ?+24; t2 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; dec Z; Z 0; Z

   t1; t2; bp t1; c13 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; c3 Z; Z t2; Z; t3 t2
   Z t2 l13
   t1; t2; bp t1; c13 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; c13 t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t1; t2; bp t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; dec t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

l13:

   t1; t2; bp t1; c6 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; c3 Z; Z t2; Z; t3 t2
   Z t2 l14
   t1; t2; bp t1; c6 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; c6 t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t1; t2; bp t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; dec t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

l14:

   t1; t2; bp t1; c6 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; dec Z; Z t2; Z; t3 t2
   Z t2 l15
   ax; c3 ax
   Z Z end__div
l15:

   t1; t2; bp t1; c4 t1; t1 t2
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t2 Z; Z 0; Z
   t2; t1; bp t2; c6 t2; t2 t1
   t2; t3; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t3
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t3 Z; Z 0; Z
   t3; t1; bp t3; c13 t3; t3 t1
   t3; t2; ?+11; t1 Z; Z ?+4; Z; 0 t3; t3 t2
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t2 Z; Z 0; Z
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; ?+2 0 __divMod; . ?;
   t2; ax t2
   c14 sp
   t1; t3; bp t1; c7 t1; t1 t3
   ?+23; ?+21; ?+24; t3 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t2; t1; bp t2; dec t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   t1; t4 Z; Z t1; Z; c3 t1
   Z t1 l16
   t1; t2; bp t1; c7 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   ax; t3 ax
   Z Z end__div
l16:

   t1; t2; bp t1; c7 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   ax; t2 ax
   Z Z end__div

end__div:
   ?+8; sp ?+4; t4; 0 t4; inc sp
   ?+8; sp ?+4; t3; 0 t3; inc sp
   ?+8; sp ?+4; t2; 0 t2; inc sp
   ?+8; sp ?+4; t1; 0 t1; inc sp
   sp; bp sp
   ?+8; sp ?+4; bp; 0 bp; inc sp
   ?+8; sp ?+4; ?+7; 0 ?+3; Z Z 0

__mod:
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; bp 0
   bp; sp bp
   c4 sp
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t1 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t2 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t3 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t4 0

   t1; t2; bp t1; dec t1; t1 t2
   ?+23; ?+21; ?+24; t2 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; dec Z; Z 0; Z
   t2; t1; bp t2; c4 t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; c3 Z; Z 0; Z

   t1; t2; bp t1; c13 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; c3 Z; Z t2; Z; t3 t2
   Z t2 l17
   t1; t2; bp t1; c13 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; c13 t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t1; t2; bp t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; dec t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

l17:

   t1; t2; bp t1; c6 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; c3 Z; Z t2; Z; t3 t2
   Z t2 l18
   t1; t2; bp t1; c6 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; c6 t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t1; t2; bp t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   t3; t1; bp t3; dec t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

l18:

   t1; t2; bp t1; c6 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; dec Z; Z t2; Z; t3 t2
   Z t2 l19
   ax; c3 ax
   Z Z end__mod
l19:

   t1; t2; bp t1; c4 t1; t1 t2
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t2 Z; Z 0; Z
   t2; t1; bp t2; c6 t2; t2 t1
   t2; t3; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t3
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t3 Z; Z 0; Z
   t3; t1; bp t3; c13 t3; t3 t1
   t3; t2; ?+11; t1 Z; Z ?+4; Z; 0 t3; t3 t2
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t2 Z; Z 0; Z
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; ?+2 0 __divMod; . ?;
   c14 sp

   t2; t1; bp t2; dec t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   t1; t4 Z; Z t1; Z; c3 t1
   Z t1 l20
   t1; t2; bp t1; c4 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   ax; t3 ax
   Z Z end__mod
l20:

   t1; t2; bp t1; c4 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t3 t2
   ax; t2 ax
   Z Z end__mod

end__mod:
   ?+8; sp ?+4; t4; 0 t4; inc sp
   ?+8; sp ?+4; t3; 0 t3; inc sp
   ?+8; sp ?+4; t2; 0 t2; inc sp
   ?+8; sp ?+4; t1; 0 t1; inc sp
   sp; bp sp
   ?+8; sp ?+4; bp; 0 bp; inc sp
   ?+8; sp ?+4; ?+7; 0 ?+3; Z Z 0

__divMod:
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; bp 0
   bp; sp bp
   c8 sp
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t1 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t2 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t3 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t4 0
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; t5 0

   t1; t2; bp t1; c13 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; c6 t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   t1; t4 Z; Z t1; Z; t3 t1
   Z t1 l21
   t1; t2; bp t1; c13 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; c14 t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   ?+23; ?+21; ?+24; t4 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   ax; c3 ax
   Z Z end__divMod

l21:

   t1; t2; bp t1; c6 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; dec t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z
   t3; t1; bp t3; c4 t3; t3 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; dec Z; Z 0; Z

l__divMod_next:
   t1; t2; bp t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; c7 t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   t1; t2; bp t1; c4 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; c8 t2; t2 t1
   ?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t3 Z; Z 0; Z

   t1; t2; bp t1; dec t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; dec t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   t1; t2; t3 t1; t4 t1; t1 t2
   t1; t4; bp t1; dec t1; t1 t4
   ?+23; ?+21; ?+24; t4 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t1; t2; bp t1; c4 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; c4 t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   t1; t2; t3 t1; t4 t1; t1 t2
   t1; t4; bp t1; c4 t1; t1 t4
   ?+23; ?+21; ?+24; t4 Z; Z ?+10; Z ?+8
   Z ?+11; Z; 0; t2 Z; Z 0; Z

   t5; t2; bp t5; c13 t5; t5 t2
   t5; t3; ?+11; t2 Z; Z ?+4; Z; 0 t5; t5 t3
   t2; t5; bp t2; dec t2; t2 t5
   t2; t1; ?+11; t5 Z; Z ?+4; Z; 0 t2; t2 t1
   t5; t1 Z; Z t5; Z; t3 t5
   Z t5 l22
   t1; t2; bp t1; c8 t1; t1 t2
   t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
   t2; t1; bp t2; c14 t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t4 Z; Z 0; Z
   t4; t1; bp t4; c6 t4; t4 t1
   t4; t2; ?+11; t1 Z; Z ?+4; Z; 0 t4; t4 t2
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t2 Z; Z 0; Z
   t2; t1; bp t2; c13 t2; t2 t1
   t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
   t1; t2; bp t1; c7 t1; t1 t2
   t1; t5; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t5
   t2; t4 Z; Z t2; Z; t5 t2
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+9; sp ?+5; t2 Z; Z 0; Z
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; ?+2 0 __divMod; . ?;
   t2; ax t2
   c14 sp
   t5; t4; t3 t5; t2 t5; t5 t4
   ax; t4 ax
   Z Z end__divMod
l22:

   Z Z l__divMod_next

end__divMod:
   ?+8; sp ?+4; t5; 0 t5; inc sp
   ?+8; sp ?+4; t4; 0 t4; inc sp
   ?+8; sp ?+4; t3; 0 t3; inc sp
   ?+8; sp ?+4; t2; 0 t2; inc sp
   ?+8; sp ?+4; t1; 0 t1; inc sp
   sp; bp sp
   ?+8; sp ?+4; bp; 0 bp; inc sp
   ?+8; sp ?+4; ?+7; 0 ?+3; Z Z 0

sqmain:
   dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
   ?+6; sp ?+2; ?+2 0 _main; . ?; inc sp

   Z Z (-1)

. c13:-2 c6:-3 c14:-4 c3:0 c5:10 c4:2 c7:3 c8:4 c9:5 c1:50 c10:6 c11:7 c12:8 c2:_i

. t1:0 t2:0 t3:0 t4:0 t5:0 t6:0 t7:0

. inc:-1 Z:0 dec:1 ax:0 bp:0 sp:-sp

Root (mt_5.hsq:34)
   Declaration (mt_5.hsq:11)
      Keyword [int] (mt_5.hsq:11)
      Declarator [[] (mt_5.hsq:11)
         Id [i] (mt_5.hsq:11)
         Const [10] (mt_5.hsq:11)
   Function:0 [main] (mt_5.hsq:13)
      Keyword [void] (mt_5.hsq:13)
      Param-type-list (mt_5.hsq:13)
      Block (mt_5.hsq:14)
         Assignment [=] (mt_5.hsq:15)
            Unary [*] (mt_5.hsq:15)
               Additive [+] (mt_5.hsq:15)
                  Label [i] (mt_5.hsq:15) [:11
                  Const [0] (mt_5.hsq:15)
            Const [50] (mt_5.hsq:15)
         Unary [++] (mt_5.hsq:16)
            Unary [*] (mt_5.hsq:16)
               Additive [+] (mt_5.hsq:16)
                  Label [i] (mt_5.hsq:16) [:11
                  Const [0] (mt_5.hsq:16)
         Unary [--] (mt_5.hsq:17)
            Unary [*] (mt_5.hsq:17)
               Additive [+] (mt_5.hsq:17)
                  Label [i] (mt_5.hsq:17) [:11
                  Const [0] (mt_5.hsq:17)
         Assignment [=] (mt_5.hsq:18)
            Unary [*] (mt_5.hsq:18)
               Additive [+] (mt_5.hsq:18)
                  Label [i] (mt_5.hsq:18) [:11
                  Const [1] (mt_5.hsq:18)
            Additive [+] (mt_5.hsq:18)
               Label [i] (mt_5.hsq:18) [:11
               Const [0] (mt_5.hsq:18)
         Assignment [=] (mt_5.hsq:19)
            Unary [*] (mt_5.hsq:19)
               Additive [+] (mt_5.hsq:19)
                  Label [i] (mt_5.hsq:19) [:11
                  Const [1] (mt_5.hsq:19)
            Unary [*] (mt_5.hsq:19)
               Unary [*] (mt_5.hsq:19)
                  Additive [+] (mt_5.hsq:19)
                     Label [i] (mt_5.hsq:19) [:11
                     Const [1] (mt_5.hsq:19)
         Assignment [=] (mt_5.hsq:20)
            Unary [*] (mt_5.hsq:20)
               Additive [+] (mt_5.hsq:20)
                  Label [i] (mt_5.hsq:20) [:11
                  Const [1] (mt_5.hsq:20)
            Unary [-] (mt_5.hsq:20)
               Unary [+] (mt_5.hsq:20)
                  Unary [-] (mt_5.hsq:20)
                     Unary [*] (mt_5.hsq:20)
                        Additive [+] (mt_5.hsq:20)
                           Label [i] (mt_5.hsq:20) [:11
                           Const [1] (mt_5.hsq:20)
         Assignment [=] (mt_5.hsq:21)
            Unary [*] (mt_5.hsq:21)
               Additive [+] (mt_5.hsq:21)
                  Label [i] (mt_5.hsq:21) [:11
                  Const [2] (mt_5.hsq:21)
            Conditional (mt_5.hsq:21)
               Unary [!] (mt_5.hsq:21)
                  Equality [!=] (mt_5.hsq:21)
                     Unary [*] (mt_5.hsq:21)
                        Additive [+] (mt_5.hsq:21)
                           Label [i] (mt_5.hsq:21) [:11
                           Const [1] (mt_5.hsq:21)
                     Const [0] (mt_5.hsq:21)
               Const [1] (mt_5.hsq:21)
               Const [0] (mt_5.hsq:21)
         Assignment [=] (mt_5.hsq:22)
            Unary [*] (mt_5.hsq:22)
               Additive [+] (mt_5.hsq:22)
                  Label [i] (mt_5.hsq:22) [:11
                  Const [3] (mt_5.hsq:22)
            Postfix [(] (mt_5.hsq:22)
               Label [_div] (mt_5.hsq:22)
               Expression-list (mt_5.hsq:22)
                  Unary [*] (mt_5.hsq:22)
                     Additive [+] (mt_5.hsq:22)
                        Label [i] (mt_5.hsq:22) [:11
                        Const [1] (mt_5.hsq:22)
                  Const [10] (mt_5.hsq:22)
         Assignment [=] (mt_5.hsq:23)
            Unary [*] (mt_5.hsq:23)
               Additive [+] (mt_5.hsq:23)
                  Label [i] (mt_5.hsq:23) [:11
                  Const [4] (mt_5.hsq:23)
            Postfix [(] (mt_5.hsq:23)
               Label [_mod] (mt_5.hsq:23)
               Expression-list (mt_5.hsq:23)
                  Unary [*] (mt_5.hsq:23)
                     Additive [+] (mt_5.hsq:23)
                        Label [i] (mt_5.hsq:23) [:11
                        Const [1] (mt_5.hsq:23)
                  Const [10] (mt_5.hsq:23)
         Assignment [=] (mt_5.hsq:25)
            Unary [*] (mt_5.hsq:25)
               Additive [+] (mt_5.hsq:25)
                  Label [i] (mt_5.hsq:25) [:11
                  Const [5] (mt_5.hsq:25)
            Conditional (mt_5.hsq:25)
               Logical-Or [||] (mt_5.hsq:25)
                  Logical-And [&&] (mt_5.hsq:25)
                     Relational [<] (mt_5.hsq:25)
                        Unary [*] (mt_5.hsq:25)
                           Additive [+] (mt_5.hsq:25)
                              Label [i] (mt_5.hsq:25) [:11
                              Const [1] (mt_5.hsq:25)
                        Const [1] (mt_5.hsq:25)
                     Relational [<=] (mt_5.hsq:25)
                        Unary [*] (mt_5.hsq:25)
                           Additive [+] (mt_5.hsq:25)
                              Label [i] (mt_5.hsq:25) [:11
                              Const [1] (mt_5.hsq:25)
                        Const [1] (mt_5.hsq:25)
                  Relational [>=] (mt_5.hsq:25)
                     Unary [*] (mt_5.hsq:25)
                        Additive [+] (mt_5.hsq:25)
                           Label [i] (mt_5.hsq:25) [:11
                           Const [1] (mt_5.hsq:25)
                     Const [1] (mt_5.hsq:25)
               Const [1] (mt_5.hsq:25)
               Const [0] (mt_5.hsq:25)
         Assignment [=] (mt_5.hsq:26)
            Unary [*] (mt_5.hsq:26)
               Additive [+] (mt_5.hsq:26)
                  Label [i] (mt_5.hsq:26) [:11
                  Const [6] (mt_5.hsq:26)
            Conditional (mt_5.hsq:26)
               Logical-Or [||] (mt_5.hsq:26)
                  Relational [>] (mt_5.hsq:26)
                     Unary [*] (mt_5.hsq:26)
                        Additive [+] (mt_5.hsq:26)
                           Label [i] (mt_5.hsq:26) [:11
                           Const [1] (mt_5.hsq:26)
                     Const [1] (mt_5.hsq:26)
                  Logical-And [&&] (mt_5.hsq:26)
                     Equality [==] (mt_5.hsq:26)
                        Unary [*] (mt_5.hsq:26)
                           Additive [+] (mt_5.hsq:26)
                              Label [i] (mt_5.hsq:26) [:11
                              Const [1] (mt_5.hsq:26)
                        Const [1] (mt_5.hsq:26)
                     Equality [!=] (mt_5.hsq:26)
                        Unary [*] (mt_5.hsq:26)
                           Additive [+] (mt_5.hsq:26)
                              Label [i] (mt_5.hsq:26) [:11
                              Const [1] (mt_5.hsq:26)
                        Const [1] (mt_5.hsq:26)
               Const [1] (mt_5.hsq:26)
               Const [0] (mt_5.hsq:26)
         Assignment [+=] (mt_5.hsq:28)
            Unary [*] (mt_5.hsq:28)
               Additive [+] (mt_5.hsq:28)
                  Label [i] (mt_5.hsq:28) [:11
                  Const [7] (mt_5.hsq:28)
            Assignment [-=] (mt_5.hsq:28)
               Unary [*] (mt_5.hsq:28)
                  Additive [+] (mt_5.hsq:28)
                     Label [i] (mt_5.hsq:28) [:11
                     Const [7] (mt_5.hsq:28)
               Const [1] (mt_5.hsq:28)
         Assignment [=] (mt_5.hsq:30)
            Unary [*] (mt_5.hsq:30)
               Additive [+] (mt_5.hsq:30)
                  Label [i] (mt_5.hsq:30) [:11
                  Const [8] (mt_5.hsq:30)
            Conditional [?] (mt_5.hsq:30)
               Unary [*] (mt_5.hsq:30)
                  Additive [+] (mt_5.hsq:30)
                     Label [i] (mt_5.hsq:30) [:11
                     Const [5] (mt_5.hsq:30)
               Unary [*] (mt_5.hsq:30)
                  Additive [+] (mt_5.hsq:30)
                     Label [i] (mt_5.hsq:30) [:11
                     Const [4] (mt_5.hsq:30)
               Unary [*] (mt_5.hsq:30)
                  Additive [+] (mt_5.hsq:30)
                     Label [i] (mt_5.hsq:30) [:11
                     Const [3] (mt_5.hsq:30)
   Function:0 [_divMod] (::_div:1)
      Keyword [int] (::_div:1)
      Param-type-list (::_div:1)
         Stackvar:-2 [a] (::_div:1)
         Stackvar:-3 [b] (::_div:1)
         Stackvar:-4 [m] (::_div:1)
   Function:3 [_div] (::_div:2)
      Keyword [int] (::_div:2)
      Param-type-list (::_div:2)
         Stackvar:-2 [a] (::_div:2)
         Stackvar:-3 [b] (::_div:2)
      Block (::_div:3)
         Declaration (::_div:4)
            Keyword [int] (::_div:4)
            Declarator [=] (::_div:4)
               Stackvar:1 [s] (::_div:4)
               Const [1] (::_div:4)
            Declarator [0] (::_div:4)
               Stackvar:2 [j] (::_div:4)
         Keyword-statement [if] (::_div:5)
            Relational [<] (::_div:5)
               Unary [*] (::_div:5) a:2
                  Additive [+] (::_div:5) a:2
                     Variable [@bp] (::_div:5) a:2
                     Const [-2] (::_div:5) a:2
               Const [0] (::_div:5)
            Block (::_div:5)
               Assignment [=] (::_div:5)
                  Unary [*] (::_div:5) a:2
                     Additive [+] (::_div:5) a:2
                        Variable [@bp] (::_div:5) a:2
                        Const [-2] (::_div:5) a:2
                  Unary [-] (::_div:5)
                     Unary [*] (::_div:5) a:2
                        Additive [+] (::_div:5) a:2
                           Variable [@bp] (::_div:5) a:2
                           Const [-2] (::_div:5) a:2
               Assignment [=] (::_div:5)
                  Unary [*] (::_div:5) s:4
                     Additive [+] (::_div:5) s:4
                        Variable [@bp] (::_div:5) s:4
                        Const [1] (::_div:5) s:4
                  Unary [-] (::_div:5)
                     Unary [*] (::_div:5) s:4
                        Additive [+] (::_div:5) s:4
                           Variable [@bp] (::_div:5) s:4
                           Const [1] (::_div:5) s:4
         Keyword-statement [if] (::_div:6)
            Relational [<] (::_div:6)
               Unary [*] (::_div:6) b:2
                  Additive [+] (::_div:6) b:2
                     Variable [@bp] (::_div:6) b:2
                     Const [-3] (::_div:6) b:2
               Const [0] (::_div:6)
            Block (::_div:6)
               Assignment [=] (::_div:6)
                  Unary [*] (::_div:6) b:2
                     Additive [+] (::_div:6) b:2
                        Variable [@bp] (::_div:6) b:2
                        Const [-3] (::_div:6) b:2
                  Unary [-] (::_div:6)
                     Unary [*] (::_div:6) b:2
                        Additive [+] (::_div:6) b:2
                           Variable [@bp] (::_div:6) b:2
                           Const [-3] (::_div:6) b:2
               Assignment [=] (::_div:6)
                  Unary [*] (::_div:6) s:4
                     Additive [+] (::_div:6) s:4
                        Variable [@bp] (::_div:6) s:4
                        Const [1] (::_div:6) s:4
                  Unary [-] (::_div:6)
                     Unary [*] (::_div:6) s:4
                        Additive [+] (::_div:6) s:4
                           Variable [@bp] (::_div:6) s:4
                           Const [1] (::_div:6) s:4
         Keyword-statement [if] (::_div:7)
            Relational [<] (::_div:7)
               Unary [*] (::_div:7) b:2
                  Additive [+] (::_div:7) b:2
                     Variable [@bp] (::_div:7) b:2
                     Const [-3] (::_div:7) b:2
               Const [1] (::_div:7)
            Keyword-statement [return] (::_div:7)
               Const [0] (::_div:7)
         Declaration (::_div:8)
            Keyword [int] (::_div:8)
            Declarator [=] (::_div:8)
               Stackvar:3 [k] (::_div:8)
               Postfix [(] (::_div:8)
                  Label [_divMod] (::_div:8)
                  Expression-list (::_div:8)
                     Unary [*] (::_div:8) a:2
                        Additive [+] (::_div:8) a:2
                           Variable [@bp] (::_div:8) a:2
                           Const [-2] (::_div:8) a:2
                     Unary [*] (::_div:8) b:2
                        Additive [+] (::_div:8) b:2
                           Variable [@bp] (::_div:8) b:2
                           Const [-3] (::_div:8) b:2
                     Additive [+] (::_div:8) j:4
                        Variable [@bp] (::_div:8) j:4
                        Const [2] (::_div:8) j:4
         Keyword-statement [if] (::_div:9)
            Relational [>] (::_div:9)
               Unary [*] (::_div:9) s:4
                  Additive [+] (::_div:9) s:4
                     Variable [@bp] (::_div:9) s:4
                     Const [1] (::_div:9) s:4
               Const [0] (::_div:9)
            Keyword-statement [return] (::_div:9)
               Unary [*] (::_div:9) k:8
                  Additive [+] (::_div:9) k:8
                     Variable [@bp] (::_div:9) k:8
                     Const [3] (::_div:9) k:8
         Keyword-statement [return] (::_div:10)
            Unary [-] (::_div:10)
               Unary [*] (::_div:10) k:8
                  Additive [+] (::_div:10) k:8
                     Variable [@bp] (::_div:10) k:8
                     Const [3] (::_div:10) k:8
   Function:0 [_divMod] (::_mod:1)
      Keyword [int] (::_mod:1)
      Param-type-list (::_mod:1)
         Stackvar:-2 [a] (::_mod:1)
         Stackvar:-3 [b] (::_mod:1)
         Stackvar:-4 [m] (::_mod:1)
   Function:2 [_mod] (::_mod:2)
      Keyword [int] (::_mod:2)
      Param-type-list (::_mod:2)
         Stackvar:-2 [a] (::_mod:2)
         Stackvar:-3 [b] (::_mod:2)
      Block (::_mod:3)
         Declaration (::_mod:4)
            Keyword [int] (::_mod:4)
            Declarator [=] (::_mod:4)
               Stackvar:1 [s] (::_mod:4)
               Const [1] (::_mod:4)
            Declarator [=] (::_mod:4)
               Stackvar:2 [j] (::_mod:4)
               Const [0] (::_mod:4)
         Keyword-statement [if] (::_mod:5)
            Relational [<] (::_mod:5)
               Unary [*] (::_mod:5) a:2
                  Additive [+] (::_mod:5) a:2
                     Variable [@bp] (::_mod:5) a:2
                     Const [-2] (::_mod:5) a:2
               Const [0] (::_mod:5)
            Block (::_mod:5)
               Assignment [=] (::_mod:5)
                  Unary [*] (::_mod:5) a:2
                     Additive [+] (::_mod:5) a:2
                        Variable [@bp] (::_mod:5) a:2
                        Const [-2] (::_mod:5) a:2
                  Unary [-] (::_mod:5)
                     Unary [*] (::_mod:5) a:2
                        Additive [+] (::_mod:5) a:2
                           Variable [@bp] (::_mod:5) a:2
                           Const [-2] (::_mod:5) a:2
               Assignment [=] (::_mod:5)
                  Unary [*] (::_mod:5) s:4
                     Additive [+] (::_mod:5) s:4
                        Variable [@bp] (::_mod:5) s:4
                        Const [1] (::_mod:5) s:4
                  Unary [-] (::_mod:5)
                     Unary [*] (::_mod:5) s:4
                        Additive [+] (::_mod:5) s:4
                           Variable [@bp] (::_mod:5) s:4
                           Const [1] (::_mod:5) s:4
         Keyword-statement [if] (::_mod:6)
            Relational [<] (::_mod:6)
               Unary [*] (::_mod:6) b:2
                  Additive [+] (::_mod:6) b:2
                     Variable [@bp] (::_mod:6) b:2
                     Const [-3] (::_mod:6) b:2
               Const [0] (::_mod:6)
            Block (::_mod:6)
               Assignment [=] (::_mod:6)
                  Unary [*] (::_mod:6) b:2
                     Additive [+] (::_mod:6) b:2
                        Variable [@bp] (::_mod:6) b:2
                        Const [-3] (::_mod:6) b:2
                  Unary [-] (::_mod:6)
                     Unary [*] (::_mod:6) b:2
                        Additive [+] (::_mod:6) b:2
                           Variable [@bp] (::_mod:6) b:2
                           Const [-3] (::_mod:6) b:2
               Assignment [=] (::_mod:6)
                  Unary [*] (::_mod:6) s:4
                     Additive [+] (::_mod:6) s:4
                        Variable [@bp] (::_mod:6) s:4
                        Const [1] (::_mod:6) s:4
                  Unary [-] (::_mod:6)
                     Unary [*] (::_mod:6) s:4
                        Additive [+] (::_mod:6) s:4
                           Variable [@bp] (::_mod:6) s:4
                           Const [1] (::_mod:6) s:4
         Keyword-statement [if] (::_mod:7)
            Relational [<] (::_mod:7)
               Unary [*] (::_mod:7) b:2
                  Additive [+] (::_mod:7) b:2
                     Variable [@bp] (::_mod:7) b:2
                     Const [-3] (::_mod:7) b:2
               Const [1] (::_mod:7)
            Keyword-statement [return] (::_mod:7)
               Const [0] (::_mod:7)
         Postfix [(] (::_mod:8)
            Label [_divMod] (::_mod:8) _divMod:1
            Expression-list (::_mod:8)
               Unary [*] (::_mod:8) a:2
                  Additive [+] (::_mod:8) a:2
                     Variable [@bp] (::_mod:8) a:2
                     Const [-2] (::_mod:8) a:2
               Unary [*] (::_mod:8) b:2
                  Additive [+] (::_mod:8) b:2
                     Variable [@bp] (::_mod:8) b:2
                     Const [-3] (::_mod:8) b:2
               Additive [+] (::_mod:8) j:4
                  Variable [@bp] (::_mod:8) j:4
                  Const [2] (::_mod:8) j:4
         Keyword-statement [if] (::_mod:9)
            Relational [>] (::_mod:9)
               Unary [*] (::_mod:9) s:4
                  Additive [+] (::_mod:9) s:4
                     Variable [@bp] (::_mod:9) s:4
                     Const [1] (::_mod:9) s:4
               Const [0] (::_mod:9)
            Keyword-statement [return] (::_mod:9)
               Unary [*] (::_mod:9) j:4
                  Additive [+] (::_mod:9) j:4
                     Variable [@bp] (::_mod:9) j:4
                     Const [2] (::_mod:9) j:4
         Keyword-statement [return] (::_mod:10)
            Unary [-] (::_mod:10)
               Unary [*] (::_mod:10) j:4
                  Additive [+] (::_mod:10) j:4
                     Variable [@bp] (::_mod:10) j:4
                     Const [2] (::_mod:10) j:4
   Function:4 [_divMod] (::_divMod:1)
      Keyword [int] (::_divMod:1)
      Param-type-list (::_divMod:1)
         Stackvar:-2 [a] (::_divMod:1)
         Stackvar:-3 [b] (::_divMod:1)
         Stackvar:-4 [j] (::_divMod:1)
      Block (::_divMod:2)
         Keyword-statement [if] (::_divMod:3)
            Relational [<] (::_divMod:3)
               Unary [*] (::_divMod:3) a:1
                  Additive [+] (::_divMod:3) a:1
                     Variable [@bp] (::_divMod:3) a:1
                     Const [-2] (::_divMod:3) a:1
               Unary [*] (::_divMod:3) b:1
                  Additive [+] (::_divMod:3) b:1
                     Variable [@bp] (::_divMod:3) b:1
                     Const [-3] (::_divMod:3) b:1
            Block (::_divMod:3)
               Assignment [=] (::_divMod:3)
                  Unary [*] (::_divMod:3)
                     Unary [*] (::_divMod:3) j:1
                        Additive [+] (::_divMod:3) j:1
                           Variable [@bp] (::_divMod:3) j:1
                           Const [-4] (::_divMod:3) j:1
                  Unary [*] (::_divMod:3) a:1
                     Additive [+] (::_divMod:3) a:1
                        Variable [@bp] (::_divMod:3) a:1
                        Const [-2] (::_divMod:3) a:1
               Keyword-statement [return] (::_divMod:3)
                  Const [0] (::_divMod:3)
         Declaration (::_divMod:5)
            Keyword [int] (::_divMod:5)
            Declarator [=] (::_divMod:5)
               Stackvar:1 [b1] (::_divMod:5)
               Unary [*] (::_divMod:5) b:1
                  Additive [+] (::_divMod:5) b:1
                     Variable [@bp] (::_divMod:5) b:1
                     Const [-3] (::_divMod:5) b:1
            Declarator [=] (::_divMod:5)
               Stackvar:2 [i] (::_divMod:5)
               Const [1] (::_divMod:5)
            Declarator [0] (::_divMod:5)
               Stackvar:3 [bp] (::_divMod:5)
            Declarator [0] (::_divMod:5)
               Stackvar:4 [ip] (::_divMod:5)
         Label-statement [next] (::_divMod:7)
            Assignment [=] (::_divMod:8)
               Unary [*] (::_divMod:8) bp:5
                  Additive [+] (::_divMod:8) bp:5
                     Variable [@bp] (::_divMod:8) bp:5
                     Const [3] (::_divMod:8) bp:5
               Unary [*] (::_divMod:8) b1:5
                  Additive [+] (::_divMod:8) b1:5
                     Variable [@bp] (::_divMod:8) b1:5
                     Const [1] (::_divMod:8) b1:5
         Assignment [=] (::_divMod:8)
            Unary [*] (::_divMod:8) ip:5
               Additive [+] (::_divMod:8) ip:5
                  Variable [@bp] (::_divMod:8) ip:5
                  Const [4] (::_divMod:8) ip:5
            Unary [*] (::_divMod:8) i:5
               Additive [+] (::_divMod:8) i:5
                  Variable [@bp] (::_divMod:8) i:5
                  Const [2] (::_divMod:8) i:5
         Assignment [=] (::_divMod:9)
            Unary [*] (::_divMod:9) b1:5
               Additive [+] (::_divMod:9) b1:5
                  Variable [@bp] (::_divMod:9) b1:5
                  Const [1] (::_divMod:9) b1:5
            Additive [+] (::_divMod:9)
               Unary [*] (::_divMod:9) b1:5
                  Additive [+] (::_divMod:9) b1:5
                     Variable [@bp] (::_divMod:9) b1:5
                     Const [1] (::_divMod:9) b1:5
               Unary [*] (::_divMod:9) b1:5
                  Additive [+] (::_divMod:9) b1:5
                     Variable [@bp] (::_divMod:9) b1:5
                     Const [1] (::_divMod:9) b1:5
         Assignment [=] (::_divMod:9)
            Unary [*] (::_divMod:9) i:5
               Additive [+] (::_divMod:9) i:5
                  Variable [@bp] (::_divMod:9) i:5
                  Const [2] (::_divMod:9) i:5
            Additive [+] (::_divMod:9)
               Unary [*] (::_divMod:9) i:5
                  Additive [+] (::_divMod:9) i:5
                     Variable [@bp] (::_divMod:9) i:5
                     Const [2] (::_divMod:9) i:5
               Unary [*] (::_divMod:9) i:5
                  Additive [+] (::_divMod:9) i:5
                     Variable [@bp] (::_divMod:9) i:5
                     Const [2] (::_divMod:9) i:5
         Keyword-statement [if] (::_divMod:11)
            Relational [<] (::_divMod:11)
               Unary [*] (::_divMod:11) a:1
                  Additive [+] (::_divMod:11) a:1
                     Variable [@bp] (::_divMod:11) a:1
                     Const [-2] (::_divMod:11) a:1
               Unary [*] (::_divMod:11) b1:5
                  Additive [+] (::_divMod:11) b1:5
                     Variable [@bp] (::_divMod:11) b1:5
                     Const [1] (::_divMod:11) b1:5
            Keyword-statement [return] (::_divMod:12)
               Additive [+] (::_divMod:12)
                  Unary [*] (::_divMod:12) ip:5
                     Additive [+] (::_divMod:12) ip:5
                        Variable [@bp] (::_divMod:12) ip:5
                        Const [4] (::_divMod:12) ip:5
                  Postfix [(] (::_divMod:12)
                     Label [_divMod] (::_divMod:12) _divMod:1
                     Expression-list (::_divMod:12)
                        Additive [-] (::_divMod:12)
                           Unary [*] (::_divMod:12) a:1
                              Additive [+] (::_divMod:12) a:1
                                 Variable [@bp] (::_divMod:12) a:1
                                 Const [-2] (::_divMod:12) a:1
                           Unary [*] (::_divMod:12) bp:5
                              Additive [+] (::_divMod:12) bp:5
                                 Variable [@bp] (::_divMod:12) bp:5
                                 Const [3] (::_divMod:12) bp:5
                        Unary [*] (::_divMod:12) b:1
                           Additive [+] (::_divMod:12) b:1
                              Variable [@bp] (::_divMod:12) b:1
                              Const [-3] (::_divMod:12) b:1
                        Unary [*] (::_divMod:12) j:1
                           Additive [+] (::_divMod:12) j:1
                              Variable [@bp] (::_divMod:12) j:1
                              Const [-4] (::_divMod:12) j:1
         Keyword-statement [goto] (::_divMod:14)
            Label [next] (::_divMod:14) next:7