/fuzz/gnutls_psk_server_fuzzer.repro/