good job, spesh.diff

-infix:<+|> (before)
+infix:<+|> (after)
   BB 0 (0x960e458):
     Instructions:
       no_op 
     Successors: 1
     Predeccessors: 
     Dominance children: 1
   BB 1 (0x960e4c8):
     Instructions:
-      checkarity liti16(2), liti16(2)
-      param_rp_o r2(1), liti16(0)
-      hllize r6(1), r2(1)
-      set r2(2), r6(1)
-      decont r6(2), r2(2)
-      wval r5(1), liti16(1), liti16(34)
-      decont r8(1), r5(1)
-      istype r9(1), r6(2), r8(1)
-      assertparamcheck r9(1)
-      decont r8(2), r2(2)
-      isconcrete r9(2), r8(2)
-      assertparamcheck r9(2)
+      sp_getarg_o r2(2), liti16(0)
       set r0(1), r2(2)
-      param_rp_o r3(1), liti16(1)
-      hllize r8(3), r3(1)
-      set r3(2), r8(3)
-      decont r8(4), r3(2)
-      wval r5(2), liti16(1), liti16(34)
-      decont r6(3), r5(2)
-      istype r9(3), r8(4), r6(3)
-      assertparamcheck r9(3)
-      decont r6(4), r3(2)
-      isconcrete r9(4), r6(4)
-      assertparamcheck r9(4)
+      sp_getarg_o r3(2), liti16(1)
       set r1(1), r3(2)
-      paramnamesused 
       takedispatcher r4(1)
-      decont r5(3), r0(1)
-      decont r6(5), r1(1)
+      sp_p6oget_o r5(3), r0(1), liti16(16)
+      sp_p6oget_o r6(5), r1(1), liti16(16)
       wval r7(1), liti16(1), liti16(34)
       bor_I r7(2), r5(3), r6(5), r7(1)
       return_o r7(2)
     Successors: 
     Predeccessors: 0
     Dominance children: