db_get_rec_num    118 include/dbcs.h int db_get_rec_num(int, long *);
db_get_rec_num    112 include/dblocal.h int db_get_rec_num(int, long *);
db_get_rec_num   3045 source/db.c       ret = db_get_rec_num(tid, &rec_num);
db_get_rec_num   3170 source/dbsrv.c    ret = db_get_rec_num(tid, &rec_num);
db_get_rec_num    799 source/dbstress.c    (void)db_get_rec_num(tid, &rec_num);
db_get_rec_num   1639 source/dbstress.c    ret = db_get_rec_num(tid, &rec_num);