anchor.diff:  
   let initConnState ns info dir pv =
     let mkey = symkey empty_bstr in
  -    {rec_info = info;
  +  { rec_info = info;
       dir = dir;
       net_conn = ns;
       compression = Null;
  
positive.code:     | CT_stream -> encrypt_stream conn_state data
      | CT_block -> encrypt_block conn_state data
  
  
  let generatePacket ct ver data =
    let l = length data in 
    let bct = bytes_of_contentType ct in
  
negative.code:   | StreamCipherState
  
  type preDirection =
    | CtoS
    | StoC
  type Direction = preDirection
  
  type ConnectionState = {
  