def header.ext64
import bend-kit-websocket@0.4.0.0/websocket.bend as Websocketimport Base
425def header.ext64(t: List<&2, U32>, +masked: Bool, +b0: U32, +m: Bool) -> Header:
426 match t:
427 case Con{+a, Con{+b, Con{+c, Con{+d, Con{+e, Con{+f, Con{+g, Con{+h, r}}}}}}}}:
428 header.key(m, r, masked, b0, 10, be32(a, b, c, d), be32(e, f, g, h))
429 case _:
430 HNeed{}