anchor.diff:          (* We're sending a fatal alert. Send it, then close both sending and receiving sides *)
           match send id.id_out c.ns c_write tlen Alert (TLSFragment.FAlert(f)) with 
           | Correct(new_write) ->
  -            let ad = readNonAppDataFragment id c.appdata in
  +            let ad = AppDataStream.readNonAppDataFragment id c.appdata in
               let c = {c with alert = new_al_state;
                               appdata = ad;
                               write = new_write}
  
positive.code:   | Alert, TLSFragment.FAlert(f), _ ->
      match Alert.recv_fragment id c_read.seqn c.alert tlen f with
      | Correct (Alert.ALAck(state)) ->
        let ad = writeNonAppDataFragment id c.appdata in
        let new_seqn = c_read.seqn + 1 in
        let c_read = {c_read with seqn = new_seqn; disp = Closing} in
        let c = {c with read = c_read; appdata = ad; alert = state} in
  
negative.code: open Tcp
  open Error
  open Handshake
  open Alert
  open TLSInfo
  open TLSKey
  