anchor.diff:      | _ -> unexpectedError "[block_decrypt] invoked with a non BlockCipherState" 
   
   
  -
   let decrypt conn_state (payload:bytes) =
       (* Assume payload has correct maximum length.
  -       Check that the compressed fragment has the correct
  -       maximum length *)
  +       Check that the compressed fragment has the correct maximum length *)
       let sp = conn_state.sparams in
       match sp.cipher_type with
       | CT_stream ->
  
positive.code:     let recvState = initConnState ns info inDir ProtocolVersionType.UnknownPV in
      (sendState, recvState)
  
  let max_TLSPlaintext_fragment_length = 1<<<14
  let max_TLSCompressed_fragment_length = 1<<<15
  let max_TLSEncrypted_fragment_length = 1<<<16
  
  let check_length (item: bytes) max_len result errorType =
      if length item < max_len then
  
negative.code:       cipher_type = CT_stream;
        mac_algorithm = MA_null;
      }
  //Cedric: why those initial sparams? 
    }
  
  let create ns info minpv =
  