anchor.diff:          (* ServerKeyExchange *)
           (*KB DH-PMS-KEM (server 1) *)
           let dhparams_filename = state.poptions.dhDefaultGroupFileName in
  -        let (dhdb,dhp,gx,x) = DH.serverGen dhparams_filename state.dhdb state.poptions.dhPMinLength  in
  +        let ops = state.poptions in
  +        let dhpl = ops.dhPMinLength in
  +        let (dhdb,dhp,gx,x) = DH.serverGen dhparams_filename state.dhdb dhpl  in
           //~ pms-KEM: (dhp,gx),((dhp,gx),x) = keygen_DHE()
           let state = {state with dhdb = dhdb} in
   
  
positive.code:                             InError(AD_decrypt_error, perror __SOURCE_FILE__ __LINE__ "",state))
                      
              | ServerKeyExchangeDH_anon(si,log) ->
                  (match parseServerKeyExchange_DH_anon state.dhdb state.poptions.dhPMinLength payload with
                  | Error z -> let (x,y) = z in InError(x,y,state)
                  | Correct(v) ->
                      let (dhdb,dhp,y) = v in
  
negative.code:         | HT_server_key_exchange ->
              (match cState with
              | ServerKeyExchangeDHE(si,log) ->
                  let ops = state.poptions in
                  let dhpl = ops.dhPMinLength in
                  (match parseServerKeyExchange_DHE state.dhdb dhpl si.protocol_version si.cipher_suite payload with
                  | Error z ->
                      let (x,y) = z in
                      InError(x,y,state)
  