def split.short
import bend-kit-websocket@0.4.0.0/websocket.bend as Websocketimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
239def split.short(b: Bytes.Bytes) -> Split:
240 Bytes.Bytes{+n, buf} = b
241 split.long(U32.is_gt(n, 16384), Bytes.Bytes{n, buf})