void
initLeds()
{
  redLed.off();
  greenLed.off();
  redLed.quicklyMakeBlinkSeveralTimes(3);
}
/**
 * Start of loop related code:
 *      LED signaling
 */
void
processStartOfLoop()
{
  greenLed.quicklyMakeBlinkSeveralTimes(3);
}