fn lladd(r: []Limb, a: []const Limb, b: []const Limb) void
fn lladd(r: []Limb, a: []const Limb, b: []const Limb) void { assert(r.len >= a.len + 1); r[a.len] = lladdcarry(r, a, b); }