anchor.diff:  (* KB #endif*)
               | _ -> OutIdle(state)
       | outBuf ->
  -        let ki_out = id ci.id_out in
  +        let ki_out = ci.id_out in
           let (rg,f,remBuf) = makeFragment ki_out outBuf in
           match remBuf with
           | xx when length xx = 0 ->
  
positive.code: type unsafe = Unsafe of epoch
  #endif
  let makeFragment ki b = 
      let i = id ci.id_out in
      if length b < fragmentLength then
        let r0 = (length b, length b) in
        let f = HSFragment.fragmentPlain i r0 b in
  
negative.code:                 Pi.assume (SentCCS(Client,e));
                  let cvd = PRF.makeVerifyData (epochSI e) ms Client log in
                  let cFinished = messageBytes HT_finished cvd in
                  let ki_out = ci.id_out in
                  let (rg,f,_) = makeFragment ki_out CCSBytes in
                  let ci = {ci with id_out = e} in 
  (* KB #if avoid 
  