def known
import bend-kit-websocket@0.4.0.0/websocket.bend as Websocketimport Base
302def known(+op: U32) -> Bool:
303 match op:
304 case 0:
305 True{}
306 case 1:
307 True{}
308 case 2:
309 True{}
310 case 8:
311 True{}
312 case 9:
313 True{}
314 case 10:
315 True{}
316 case _:
317 False{}