sqlite3gen: generate sqlite3