def rounds
import bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbsimport Base
137def rounds(k: Nat, +c: List<&2, Nat>, xs: List<&2, Nat>) -> List<&2, Nat>:
138 match k:
139 case 0n: xs
140 case 1n+j: rounds(j, c, carry(32n, fold(c, xs), 0n))