Websocket.st: def of bend-kit-websocket@0.4.0.0
Import: import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
Lines 600-603 of bend-kit-websocket@0.4.0.0/websocket.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-websocket@0.4.0.0/websocket.bend&start_line=600&end_line=603

import Base

# UTF-8 (RFC 3629) validity. The state packs need | lo << 8 | hi << 16: continuation
# bytes still needed and the range the next one must fall in. need 255 is a failure.
def st(+need: U32, +lo: U32, +hi: U32) -> U32:
  (need .|. (lo << 8n) .|. (hi << 16n) : U32)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln