pub fn sbb(a: &mut u64, b: u64, borrow: u64) -> u64
set a = a - b - borrow, and return the new borrow value.