pub fn add_single(a: u32, b: u32) -> (u32, u32)
Assumed as a given primitive.
Addition of two singles, which at most takes a single limb of result and a carry, returned as a tuple respectively.