anchor.diff:         we can conclude HS protocol is terminated (at least for our sending side),
          and no more data will be added to any buffer
          (until a re-handshake) *)
  +    // FIXME: Obsoleted by new state machine *)
  +    (* 
       match state.hs_outgoing with
       | [||] ->
           (* FIXME: the following code should be heavily factorized out.
  
positive.code:        We need to understand how to treat certificates and related algorithms properly *)
      correct(true)
  
  let compute_session_secrets_and_CCSs ci state =
      // FIXME: we create the next connection here, but then we don't use it and we release it
      // asynchronously to the Dispatch. The latter will locally re-create the next connection
  
negative.code:         let ((rg,frag),dRem),(f,rem) = makeFragment ci.id_out d in
          let state = {state with hs_outgoing = rem} in
          (OutSome(rg,frag,state))
  *)
  
  type incoming = (* the fragment is accepted, and... *)
    | InAck of hs_state
  