static void hp300_pulse(int x) { if (x) blinken_leds(0x10, 0); else blinken_leds(0, 0x10); }
static void hp300_pulse(int x) { if (x) blinken_leds(0xfe); else blinken_leds(0xff); }