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