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