db_check          220 third_party/sqlite/src/test/threadtest1.c     db_check(zFilename, "tX size", az, "100", 0);  
db_check          222 third_party/sqlite/src/test/threadtest1.c     db_check(zFilename, "tX avg", az, "101", 0);  
db_check          225 third_party/sqlite/src/test/threadtest1.c     db_check(zFilename, "tX avg2", az, "51", 0);
db_check          231 third_party/sqlite/src/test/threadtest1.c       db_check(zFilename, "readback", az, z1, z2, 0);