 
 void pinPush_isr(void)
 {
-  Serial.printf(F("pinPush_isr\n"));
   // sample the pin value
   re_down = (PIND & 0x10);
   

    
  Serial.printf(F("^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n"));
}

//----------------------------------------
// Draw a menu on the screen.

  banner();

  // dump EEPROM values
#ifdef DEBUG
  dump_eeprom();
#endif

  // eat any events that may have been generated
  event_flush();
