src/external/public-domain/sqlite