Exec.Exec.key: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/exec.bend as Exec
Lines 74-78 of bend-kube-runtime@0.2.0.0/src/exec.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/exec.bend&start_line=74&end_line=78

import Base
import bend-kube-runtime@0.2.0.0/src/base64.bend as B
import bend-kube-runtime@0.2.0.0/src/ws.bend as W

def Exec.key(+k: U32) -> String:
  B.B64.encode([W.Ws.byte(k, 0n), W.Ws.byte(k, 1n), W.Ws.byte(k, 2n), W.Ws.byte(k, 3n),
    W.Ws.byte(k, 3n), W.Ws.byte(k, 2n), W.Ws.byte(k, 1n), W.Ws.byte(k, 0n),
    W.Ws.byte(k, 1n), W.Ws.byte(k, 3n), W.Ws.byte(k, 0n), W.Ws.byte(k, 2n),
    W.Ws.byte(k, 2n), W.Ws.byte(k, 0n), W.Ws.byte(k, 3n), W.Ws.byte(k, 1n)])

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/base64.bend&name=B64.encode
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&name=Ws.byte