anchor.diff:  let ENC_int ki s tlen d =
       let si = epochSI(ki) in
       let encAlg = encAlg_of_ciphersuite si.cipher_suite si.protocol_version in
  -    match s,encAlg with
  +    match s,encAlg with
  +    //#begin-ivStaleEnc
       | BlockCipher(s), CBC_Stale(alg) ->
           match s.iv with
           | NoIV -> unexpectedError "[ENC] Wrong combination of cipher algorithm and state"
  
positive.code:             let data = cbcdec alg s.key.k iv cipher
              let d = Encode.plain ki (length cipher) data in
              let s = {s with iv = SomeIV(lastblock cipher alg)} in
              (BlockCipher(s), d)
      | BlockCipher(s), CBC_Fresh(alg) ->
          match s.iv with
          | SomeIV(_) -> unexpectedError "[DEC] Wrong combination of cipher algorithm and state"
  
negative.code:                 unexpectedError "[ENC] Length of encrypted data do not match expected length"
              else
                  let s = {s with iv = SomeIV(lastblock cipher alg) } in
                  (BlockCipher(s), cipher)
      //#end-ivStaleEnc
      | BlockCipher(s), CBC_Fresh(alg) ->
          match s.iv with
          | SomeIV(b) -> unexpectedError "[ENC] Wrong combination of cipher algorithm and state"
  