anchor.diff:                  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 = id ci.id_out 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 
  
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:                 let svd = PRF.makeVerifyData (epochSI we) ms Server log in
                  let sFinished = messageBytes HT_finished svd in
                  let log = log @| sFinished in
                  let ki_out = ci.id_out in
                  let (rg,f,_) = makeFragment ki_out CCSBytes in
                  let ci = {ci with id_out = we} in 
  (* KB #if avoid 
  