   return Teensy3Clock.get();
 }
 
-void digitalClockDisplay() {
+void digitalClockDisplay(time_t t) {
   // digital clock display of the time
-  int hr = hour();
+  int hr = hour(t);
   if ( hr < 10 ) Serial.print( '0' );
   Serial.print(hr);
-  printDigits(minute());
-  printDigits(second());
+  printDigits(minute(t));
+  printDigits(second(t));
   Serial.print(" ");
-  Serial.print(day());
+  Serial.print(day(t));
   Serial.print(" ");
-  Serial.print(month());
+  Serial.print(month(t));
   Serial.print(" ");
-  Serial.print(year()); 
+  Serial.print(year(t)); 
   Serial.println(); 
 }
 

    Serial.print( "GPS Flags:" );Serial.print( gpsTFFlg );
    Serial.println( gpsZDAFlg );
  }
  digitalClockDisplay();
}

void procZDAMsg() {

  }
  
  // Set clock(s) to UTC time if a valid fix came in since the last PPS
  //if ( DEBUG ) digitalClockDisplay( now() );
  if ( gpsTimeValid && gpsTimeFlg ) {
    time_t oldTime = getTeensy3Time();
    setTime( gpsHr,gpsMin,gpsSec,gpsDay,gpsMon,gpsYr ); // "Library" time    
