g1: verdict NO-MATCH start 6 best 6 compiles 44 path 
g2: verdict NO-MATCH start 6 best 6 compiles 167 path 
g5: verdict NO-MATCH start 6 best 4 compiles 445 path R10 param-copy arg0 @770 + R14 param-width arg0 s32->u16 @763
s1: verdict NO-MATCH start 6 best 6 compiles 63 path 
s2: verdict NO-MATCH start 6 best 6 compiles 63 path 
s4: verdict NO-MATCH start 6 best 4 compiles 110 path R12 width tmp s32->u16 @767 + R10 param-copy arg0 @770 + R14 param-width arg0 s32->u16 @763
s7: verdict NO-MATCH start 6 best 4 compiles 156 path R10 param-copy arg0 @770 + R14 param-width arg0 s32->u16 @763
s8: verdict NO-MATCH start 6 best 6 compiles 63 path 
s9: verdict NO-MATCH start 6 best 6 compiles 63 path 
s10: verdict NO-MATCH start 6 best 6 compiles 63 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width tmp s32->u16 @767 -> 6 [COUNT] (from 6)
  R6 inline ang @770 -> 6 [COUNT] (from 6)
  R7 block @770 -> 6 [COUNT] (from 6)
  R10 param-copy arg0 @770 -> 6 [COUNT] (from 6)
  R12 width tmp s32->s16 @767 -> 6 [COUNT] (from 6)
  R7 do-while @770 -> 6 [COUNT] (from 6)
  R12 width ang s32->u16 @769 -> 6 [COUNT] (from 6)
  R12 width ang s32->s16 @769 -> 6 [COUNT] (from 6)
  R6 inline ang @770 -> 6 [COUNT] (from 6)
  R7 block @770 -> 6 [COUNT] (from 6)
  R10 param-copy arg0 @770 -> 6 [COUNT] (from 6)
  R7 do-while @770 -> 6 [COUNT] (from 6)
