c_get_rec_num    3000 source/db.c    int c_get_rec_num(char *comm)
c_get_rec_num    3118 source/dbsrv.c void c_get_rec_num(char *comm)
c_get_rec_num    1631 source/dbstress.c void c_get_rec_num(void)