finished translation of sqlite3