connection.withLock {
      if (!connection.isHealthy(System.nanoTime())) {
        throw ConnectionShutdownException()
      }
    }
    connection.writePing()
    connection.shutdown(ErrorCode.PROTOCOL_ERROR)
    assertThat(connection.openStreamCount()).isEqualTo(1)
    connection.awaitPong() // Prevent the peer from exiting prematurely.

    }

    @Override
    protected ConcurrentMap<K, V> delegate() {
      return delegate;
    }

    void writeMapTo(ObjectOutputStream out) throws IOException {
      out.writeInt(delegate.size());
      for (Entry<K, V> entry : delegate.entrySet()) {
        out.writeObject(entry.getKey());
        out.writeObject(entry.getValue());
      }
      out.writeObject(null); // terminate entries

pkg bufio, method (*Writer) Buffered() int
pkg bufio, method (*Writer) Flush() error
pkg bufio, method (*Writer) Write([]uint8) (int, error)
pkg bufio, method (*Writer) WriteByte(uint8) error
pkg bufio, method (*Writer) WriteRune(int32) (int, error)
pkg bufio, method (*Writer) WriteString(string) (int, error)
pkg bufio, method (ReadWriter) Available() int
pkg bufio, method (ReadWriter) Flush() error

pkg os, func ReadDir(string) ([]fs.DirEntry, error)
pkg os, func ReadFile(string) ([]uint8, error)
pkg os, func SameFile(fs.FileInfo, fs.FileInfo) bool
pkg os, func Stat(string) (fs.FileInfo, error)
pkg os, func WriteFile(string, []uint8, fs.FileMode) error
pkg os, method (*File) Chmod(fs.FileMode) error
pkg os, method (*File) ReadDir(int) ([]fs.DirEntry, error)
pkg os, method (*File) Readdir(int) ([]fs.FileInfo, error)

"sub", "one", "from_montgomery", "to_montgomery", "selectznz", "to_bytes", "from_bytes") cmd.Stderr = os.Stderr out, err := cmd.Output() if err != nil { log.Fatal(err) } out, err = format.Source(out) if err != nil { log.Fatal(err) } if err := os.WriteFile(c.Prefix+"_fiat64.go", out, 0644); err != nil { log.Fatal(err) } log.Printf("Generating %s_invert.go...", c.Prefix) f, err = os.CreateTemp("", "addchain-"+c.Prefix) if err != nil { log.Fatal(err) } defer os.Remove(f.Name()) cmd = exec.Command("addchain",...

"sub", "one", "from_montgomery", "to_montgomery", "selectznz", "to_bytes", "from_bytes") cmd.Stderr = os.Stderr out, err := cmd.Output() if err != nil { log.Fatal(err) } out, err = format.Source(out) if err != nil { log.Fatal(err) } if err := os.WriteFile(c.Prefix+"_fiat64.go", out, 0644); err != nil { log.Fatal(err) } log.Printf("Generating %s_invert.go...", c.Prefix) f, err = os.CreateTemp("", "addchain-"+c.Prefix) if err != nil { log.Fatal(err) } defer os.Remove(f.Name()) cmd = exec.Command("addchain",...