g6: verdict NO-MATCH start 21 best 18 compiles 317 path R12 width s3 s16->s32 @1418 + R10 param-copy arg0 @1424 + R9 swap-stmts @1474
s1: verdict NO-MATCH start 21 best 21 compiles 184 path 
s2: verdict NO-MATCH start 21 best 21 compiles 184 path 
s3: verdict BUDGET start 21 best 21 compiles 400 path 
s3b: verdict BUDGET start 21 best 21 compiles 400 path 
s4: verdict NO-MATCH start 21 best 21 compiles 428 path 
s7: verdict NO-MATCH start 21 best 18 compiles 552 path R10 param-copy arg0 @1424 + R9 swap-stmts @1474
s9: verdict NO-MATCH start 21 best 21 compiles 249 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width s3 s16->s32 @1418 -> 21 [COUNT] (from 21)
  R18 bystander @1425->1428 -> 21 [COUNT] (from 21)
  R7 block @1446 -> 21 [COUNT] (from 21)
  R10 param-copy arg0 @1424 -> 21 [COUNT] (from 21)
  R4 decl-move s3 7->0 -> 21 [COUNT] (from 21)
  R12 width s3 s16->u16 @1418 -> 21 [COUNT] (from 21)
  R18 bystander @1425->1429 -> 21 [COUNT] (from 21)
  R7 do-while @1446 -> 21 [COUNT] (from 21)
  R9 swap-stmts @1425 -> 21 [COUNT] (from 21)
  R2 decl-order 0,2,1,3 -> 21 [COUNT] (from 21)
  R4 decl-move s3 7->1 -> 21 [COUNT] (from 21)
  R6 inline retc @1472 -> 21 [COUNT] (from 21)
