s64_abs
uint64_t al = s64_abs(l);
uint64_t ar = s64_abs(r);
uint64_t max_abs_b = u64_max(s64_abs(b.smin), s64_abs(b.smax));