pub fn sbb(lhs: u64, rhs: u64, borrow: u64) -> (u64, u64)