Symbol: TIMER32K_BASE