anchor.diff:          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
  
positive.code: 
  let makeCCSFragment ki b = makeFragment ki b
  
  let next_fragment ci state =
      match state.hs_outgoing with
      | [||] ->
          match state.pstate with
          | PSClient(cstate) ->
              match cstate with
              | 
  
  
      (* Assumptions: The buffers have been filled in the following order:
         1) hs_outgoing; 2) ccs_outgoing; 3) hs_outgoing_after_ccs
  
negative.code:     let state = {state with ccs_outgoing = Some((CCSBytes,(ci.id_out,writer)))
                              ccs_incoming = Some(ci.id_in,reader)} in
      state
  *)
  
  let prepare_client_output_full ci state clSpecState =
      let clientCertBytes =
  