iB0              24654 ext/sqlite3/libsqlite/sqlite3.c   i64 iA1, iA0, iB1, iB0, r;
iB0              24659 ext/sqlite3/libsqlite/sqlite3.c   iB0 = iB % TWOPOWER32;
iB0              24667 ext/sqlite3/libsqlite/sqlite3.c     r = iA1*iB0;
iB0              24678 ext/sqlite3/libsqlite/sqlite3.c   if( sqlite3AddInt64(&r, iA0*iB0) ) return 1;