pub type __uint128 = u128;
Use u128 instead.
C unsigned __int128 (a GCC extension that’s part of many ABIs)
unsigned __int128