anchor.diff:                          %% padding => Padding,
                           key_share => KeyShare,
                           %% pre_shared_key => PreSharedKey,
  -                        %% psk_key_exhange_modes => PSKKeyExchangeModes,
  +                        psk_key_exchange_modes => PSKKeyExchangeModes,
                           %% early_data => EarlyData,
                           %% cookie => Cookie,
                           client_hello_versions => SupportedVersions,
  
positive.code:            %% oneof([padding(), undefined]),
             oneof([key_share(client_hello), undefined]),
             %% oneof([pre_shared_key(), undefined]),
             %% oneof([psk_key_exchange_modes(), undefined]),
             %% oneof([early_data(), undefined]),
             %% oneof([cookie(), undefined]),
             oneof([client_hello_versions(Version)]),
  
negative.code: %%
  client_hello(?'TLS_v1.3' = Version) ->
      #client_hello{session_id = session_id(),
                    client_version = ?'TLS_v1.2',
                    cipher_suites = cipher_suites(Version),
                    compression_methods = compressions(Version),
                    random = client_random(Version),
                    extensions = client_hello_extensions(Version)
                   };
  client_hello(Version) ->
      #client_hello{session_id = session_id(),
  