Symbol: leon_init_timers