anchor.diff:             %% Padding,
              KeyShare,
              %% PreSharedKey,
  -           %% PSKKeyExchangeModes,
  +           PSKKeyExchangeModes,
              %% EarlyData,
              %% Cookie,
              SupportedVersions,
  
positive.code:                         %% padding => Padding,
                          key_share => KeyShare,
                          %% pre_shared_key => PreSharedKey,
                          %% psk_key_exhange_modes => PSKKeyExchangeModes,
                          %% early_data => EarlyData,
                          %% cookie => Cookie,
                          client_hello_versions => SupportedVersions,
  
negative.code:     R = rand:uniform(length(Pool)),
      G = lists:nth(R, Pool),
      group_list(N - 1, Pool -- [G], [G|Acc]).
  
  
  ke_modes() ->
      oneof([[psk_ke],[psk_dhe_ke],[psk_ke,psk_dhe_ke]]).
  
  psk_key_exchange_modes() ->
      ?LET(KEModes, ke_modes(),
           #psk_key_exchange_modes{
              ke_modes = KEModes}).
  