diff -r c83cdd300848 -r 1f34f6394383 src/Pure/System/system_channel.scala
--- a/src/Pure/System/system_channel.scala	Fri Nov 24 21:32:32 2023 +0100
+++ b/src/Pure/System/system_channel.scala	Fri Nov 24 21:54:30 2023 +0100
@@ -17,7 +17,7 @@
   def apply(unix_domain: Boolean = false): System_Channel =
     if (unix_domain) new Unix else new Inet
 
-  val buffer_size: Integer = Integer.valueOf(131072)
+  val buffer_size: Integer = Integer.valueOf(65536)
 
   class Inet extends System_Channel(StandardProtocolFamily.INET) {
     server.bind(new InetSocketAddress(Server.localhost, 0), 50)