def big.go

bend-osdev-aria@0.1.0.0 · check.bend:38

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

38# n bytes, byte i = 7i + 3 (mod 256)
39def big.go(n: Nat, +i: U32, acc: List<&2, U32>) -> List<&2, U32>:
40  match n:
41    case 0n:
42      B.rev(acc)
43    case 1n+p:
44      big.go(p, U32.add(i, 1), Con{U32.and(255, U32.add(U32.mul(i, 7), 3)), acc})