anchor.diff:                  rCode <- rc
                   rLength <- rSize
   
  -            elif rlz > 0 && rlz % 16 = 0 && nonZeroAfterR then
  -                rCode <- 0xF0u
  -                rLength <- 8
  +//            elif rlz >= 15 && rlz % 16 = 1 && nonZeroAfterR then
  +//                let rSize, rc = encode rlid (channel <> 0) 15 0.0
  +//                rCode <- rc
  +//                rLength <- rSize
   
   
   
  
positive.code:                 let lSize, lc = encode llid (channel <> 0) (llz % 16) lv
                  lCode <- lc
                  lLength <- lSize
  
              elif llz > 0 && llz % 16 = 0 && nonZeroAfterL then
                  lCode <- 0xF0u
                  lLength <- 8
  
  
              if rnz then
  
negative.code:                     // oo = 0 => word <<< (32 - bitLength)
                      // oo = 16 => word <<< (16 - bitLength)
                      // oo = 24 => word <<< (8 - bitLength)
  
                      let a = word <<< (space - bitLength)
                      //let a = FShade.Primitives.Bitwise.BitFieldInsert(0u, word, oo, bitLength)
                      Ballot.AtomicOr(temp.[oi], a)
  
                  else
                      let rest = bitLength - space
                      let a = (word >>> rest) &&& ((1u <<< space) - 1u)
                      //let a = FShade.Primitives.Bitwise.BitFieldInsert(0u, word >>> rest, oo, space)
                      Ballot.AtomicOr(temp.[oi], a)
                      
                      let b = (word &&& ((1u <<< rest) - 1u)) <<< (32 - rest)
                      //let b = FShade.Primitives.Bitwise.BitFieldInsert(0u, word, 0, rest)
                      Ballot.AtomicOr(temp.[oi+1], b)
  
              if rLength > 0 then
  