<> <> <> <> <<>> DIRECTORY PupType USING [maxNewGatewayBytes, maxOldGatewayBytes]; PupStreamBackdoor: CEDAR DEFINITIONS ~ { maxOldGatewayBytes: NAT ~ PupType.maxOldGatewayBytes; maxNewGatewayBytes: NAT ~ PupType.maxNewGatewayBytes; SetMaxBufferSize: PROC [size: NAT]; }.