blinken_leds
blinken_leds(0x10, 0);
blinken_leds(0, 0x10);
blinken_leds(0, 0xe0);
blinken_leds(0x40, 0);
blinken_leds(0x80, 0);