correct type for tail-ptr in sqlite3-prepare