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)