db_store_count     54 ddb/db_run.c   int		db_store_count;
db_store_count    199 ddb/db_run.c   		db_store_count += inst_store(ins);
db_store_count    207 ddb/db_run.c   			db_store_count += inst_store(ins);
db_store_count    257 ddb/db_run.c   	db_store_count = 0;
db_store_count    277 ddb/db_run.c   	db_store_count = 0;
db_store_count    297 ddb/db_run.c   	db_store_count = 0;
db_store_count    313 ddb/db_run.c   	db_store_count = 0;
db_store_count     41 ddb/db_run.h   extern	int db_store_count;
db_store_count     65 ddb/db_trap.c  			    db_store_count);