def kbkdf_feedback
import bend-osdev-crypto@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/inst_kbkdf.bend as KbI
394def kbkdf_feedback(n: Nat) -> String:
395 show(KbI.CrKbkdf.hmac_sha256_feedback(B.Octets.of_string("secret key bytes"), B.Octets.of_string("an iv"), B.Octets.of_string("label"), B.Octets.of_string("context"), n))