anchor.diff:                      // We are finishing a handshake. Force to read, so that we'll complete the handshake.
                       (WMustRead,Conn(id,c)) 
   
  -          //#begin-alertAttack
  +          //#begin-alertAttackSend
             | Handshake.OutCCS(rg,ccs,nextID,nextWrite,new_hs_state) ->
                       let nextWCS = Record.initConnState nextID.id_out StatefulLHAE.WriterState nextWrite in
                       (* we send a (complete) CCS fragment *)
  
positive.code:                     | _ -> (* Internal error: send a fatal alert to the other side *)
                          let reason = perror __SOURCE_FILE__ __LINE__ "Sending CCS in wrong state" in
                          let closing = abortWithAlert (Conn(id,c)) AD_internal_error reason in (WriteAgain, closing) 
            //#end-alertAttack
            | (Handshake.OutSome(rg,f,new_hs_state)) ->     
                        (* we send some handshake fragment *)
                        match c_write.disp with
  
negative.code:                                   let closing = abortWithAlert (Conn(id,c)) AD_handshake_failure reason in
                                    let wo,conn = writeAll closing in
                                    WriteOutcome(wo),conn
                            //#end-alertAttackRecv
                            | InCCSError (x,y,hs) ->
                                let c = {c with handshake = hs} in
                                let closing = abortWithAlert (Conn(id,c)) x y in
  