def Exec.input
import bend-kube-runtime@0.2.0.0/src/exec.bend as Execimport Base
import bend-kube-runtime@0.2.0.0/src/utf8.bend as U
import bend-kube-runtime@0.2.0.0/src/ws.bend as W
315# The input, then the close of stdin, in one write.
316def Exec.input(+text: String, +k: U32) -> List<&2, U32>:
317 List.append(&2, U32, W.Ws.frame(W.Ws.binary(), Con{0, U.Utf8.encode(text)}, k),
318 W.Ws.frame(W.Ws.binary(), [255, 0], U32.xor(k, 1515870810)))