def tea_cbc
import bend-osdev-legacy-ciphers@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-legacy-ciphers@0.1.0.0/tea.bend as TE
261def tea_cbc(k: B.Octets, n: Nat) -> String:
262 cbc64(~TE.LcTeaKey, ~TE.LcTea.encrypt, ~TE.LcTea.decrypt, tea_key(False{}, k), n)