<> <> <<>> _ PupStreamImpl.maxBufferSize _ PupType.maxNewGatewayBytes -- should be 1478