求 int_128 代码。