g6: verdict NO-MATCH start 32 best 32 compiles 321 path 
s7: verdict NO-MATCH start 32 best 32 compiles 553 path 
best-scoring single candidates of the last trace (move -> score [residual class]):
  R16 const-holder state=3 x2 -> 32 [COUNT] (from 32)
  R8 temp tmp0 @8759 -> 32 [COUNT] (from 32)
  R18 bystander @8778->8780 -> 32 [COUNT] (from 32)
  R7 block @8761 -> 32 [COUNT] (from 32)
  R5 swap + @8761 -> 32 [COUNT] (from 32)
  R9 swap-stmts @8761 -> 32 [COUNT] (from 32)
  R14 param-width a0 s32->u16 @8727 -> 32 [COUNT] (from 32)
  R8 base tmp0 @8759 -> 32 [COUNT] (from 32)
  R9 swap-stmts @8759 -> 32 [COUNT] (from 32)
  R14 param-width a0 s32->u8 @8727 -> 32 [COUNT] (from 32)
  R8 base-shared tmp0 @8759 -> 32 [COUNT] (from 32)
  R7 block @8759 -> 32 [COUNT] (from 32)
