def blk_len
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
1280def blk_len(+bi: U32, +k: U32) -> Nat:
1281 U32.to_nat(Bool.pick(U32, U32.is_lt((k - (bi * 1024 : U32) : U32), 1024), (k - (bi * 1024 : U32) : U32), 1024))