word72s 192 src/dps8/dps8.h typedef __int128_t word72s; word72s 199 src/dps8/dps8.h typedef x__int128_t word72s;