def big.go

bend-osdev-cast5@0.1.0.0 · check.bend:46

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

46# n bytes, byte i = 7i + 3 (mod 256)
47def big.go(n: Nat, +i: U32, acc: List<&2, U32>) -> List<&2, U32>:
48  match n:
49    case 0n:
50      B.rev(acc)
51    case 1n+p:
52      big.go(p, U32.add(i, 1), Con{U32.and(255, U32.add(U32.mul(i, 7), 3)), acc})