word72s           249 src/dps8/dps8.h typedef __int128_t   word72s;
word72s           256 src/dps8/dps8.h typedef x__int128_t  word72s;