do_sqlite3