fBestMargin      153079 ext/sqlite3/libsqlite/sqlite3.c   RtreeDValue fBestMargin = RTREE_ZERO;
fBestMargin      153140 ext/sqlite3/libsqlite/sqlite3.c     if( ii==0 || margin<fBestMargin ){
fBestMargin      153142 ext/sqlite3/libsqlite/sqlite3.c       fBestMargin = margin;