Symbol: HIST_count_wksp