<> <> <<>> _ PupStreamImpl.maxBufferSize _ PupType.maxOldGatewayBytes -- should be 532