def S32.sub_ov.go
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
643def S32.sub_ov.go(+a: U32, b: U32, +r: U32) -> Bool & U32:
644 (S32.is_neg(U32.and(U32.xor(a, b), U32.xor(a, r))), r)
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
643def S32.sub_ov.go(+a: U32, b: U32, +r: U32) -> Bool & U32:
644 (S32.is_neg(U32.and(U32.xor(a, b), U32.xor(a, r))), r)