u64muladd        7028 ext/uvector/uvector.c             r = u64muladd(vx, vy, r, &rr);
u64muladd        7037 ext/uvector/uvector.c                 r = u64muladd(vx, vy, r, &rr);
u64muladd        7050 ext/uvector/uvector.c                 r = u64muladd(vx, vy, r, &rr);