load_propcases   1168 tools/capdis.c         load_propcases(fw.sv, props_path);
load_propcases     49 tools/stubs_load.h void load_propcases(stub_values *sv, char *name);