Symbol: update_leds