s5: verdict NO-MATCH start 4 best 4 compiles 186 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R12 width v0 s32->u16 @3338 -> 4 [COUNT] (from 4)
  R18 bystander @3340->3342 -> 4 [COUNT] (from 4)
  R7 block @3360 -> 4 [COUNT] (from 4)
  R10 param-copy a0 @3339 -> 4 [COUNT] (from 4)
  R12 width v0 s32->s16 @3338 -> 4 [COUNT] (from 4)
  R8 temp tmp0 @3358 -> 4 [COUNT] (from 4)
  R7 do-while @3360 -> 4 [COUNT] (from 4)
  R8 base tmp0 @3358 -> 4 [COUNT] (from 4)
  R7 block @3395 -> 4 [COUNT] (from 4)
  R8 hoist tmp0 @3358 -> 4 [COUNT] (from 4)
  R18 bystander @3372->3374 -> 4 [COUNT] (from 4)
  R7 do-while @3395 -> 4 [COUNT] (from 4)
