inst_store 199 ddb/db_run.c db_store_count += inst_store(ins); inst_store 207 ddb/db_run.c db_store_count += inst_store(ins);