fn euclid_udpate( a: &mut BigInt, b: &mut BigInt, ua: &mut Option<BigInt>, ub: &mut Option<BigInt>, q: &mut BigInt, r: &mut BigInt, s: &mut BigInt, t: &mut BigInt, extended: bool, )