anchor.diff:      let c_hs = c.handshake in
       match Handshake.recv_fragment id readSeqN c_hs tlen f with
       | (Correct(corr),hs) ->
  -        let ad = writeNonAppDataFragment id c.appdata in
  +        let ad = AppDataStream.writeNonAppDataFragment id c.appdata in
           let new_seqn = readSeqN+1 in
           let c_read = {c_read with seqn = new_seqn} in
           match corr with
  
positive.code:         match send id.id_out c.ns c_write tlen Alert (TLSFragment.FAlert(f)) with
          | Correct(new_write) ->
              let new_write = {new_write with disp = Closed} in
              let ad = readNonAppDataFragment id c.appdata in
              let c = {c with alert = new_al_state;
                              appdata = ad;
                              write = new_write}
  
negative.code:     | Correct (Alert.ALClose_notify (state)) ->
          (* An outgoing close notify has already been buffered, if necessary *)
          (* Only close the reading side of the connection *)
          let ad = AppDataStream.writeNonAppDataFragment id c.appdata in
          let new_seqn = c_read.seqn + 1 in
          let new_read = {c_read with seqn = new_seqn; disp = Closed} in
          (correct (Abort), Conn(id, { c with appdata = ad; read = new_read}))
      | Correct (Alert.ALClose (state)) ->
          (* Other fatal alert, we close both sides of the connection *)
          let ad = AppDataStream.writeNonAppDataFragment id c.appdata in
          let new_seqn = c_read.seqn + 1 in
          let new_read = {c_read with seqn = new_seqn} in
          let c = {c with read = new_read; appdata = ad; alert = state}
  