// Very tiny stack for this red alerter: we economize on the rest
NIL_WORKING_AREA(waBlinkingRed, 8);
NIL_THREAD(BlinkingRed,arg){
const int minBright=50;
const int maxBright=255;
while(true){
int pin=redLed;
int brightness = minBright; // how bright the LED is
int fadeAmount = 5; // how many points to fade the LED by