u32muladd         694 ext/uvector/uvector.c #define u64muladd(x, y, acc, sacc) u32muladd(x, y, acc, sacc)
u32muladd        6922 ext/uvector/uvector.c             r = u32muladd(vx, vy, r, &rr);
u32muladd        6931 ext/uvector/uvector.c                 r = u32muladd(vx, vy, r, &rr);
u32muladd        6944 ext/uvector/uvector.c                 r = u32muladd(vx, vy, r, &rr);