anchor.diff:  type unsafe = Unsafe of epoch
   #endif
   let makeFragment ki b = 
  -    let i = id ci.id_out in
  +    let i = id ki in
       if length b < fragmentLength then
         let r0 = (length b, length b) in
         let f = HSFragment.fragmentPlain i r0 b in
  
positive.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 = id ci.id_out in
                  let (rg,f,_) = makeFragment ki_out CCSBytes in
                  let ci = {ci with id_out = we} in 
  (* KB #if avoid 
  
negative.code:                 Pi.assume (SentCCS(Server,e));
                  let svd = PRF.makeVerifyData si ms Server log in
                  let sFinished = messageBytes HT_finished svd 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 
  