h64               141 src/dps8/dps8_math128.c     uint64_t h64 = a.h + b.h + c64;      // compute the high
h64               142 src/dps8/dps8_math128.c     return construct_128 (h64, l64);