Adapted to changes in exec_freq.h