def bulk
import bend-osdev-crc@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
19def bulk(n: Nat) -> B.Octets:
20 B.Octets.of_list(bulk.go(n, 7, Nil{}))
import bend-osdev-crc@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
19def bulk(n: Nat) -> B.Octets:
20 B.Octets.of_list(bulk.go(n, 7, Nil{}))