Symbol: LOCAL_CLOCK_FREQUENCY