   }
  
   Serial.println("");
-  Serial.println("# timestamp (seconds)");
+  #ifdef PRINT_REG_RESULTS
+    Serial.println("# time1    time2    clock1    cal1    cal2    timestamp");
+  #else
+    Serial.println("# timestamp (seconds)");
+  #endif
 }  
 
 // Note: need more sophisticated checking of STOP and INTB signals.

#define CAL_PERIODS      (uint16_t) 20       // Can only be 2, 10, 20, or 40.
#define PICTICK_PS       (uint32_t) 1e8      // 100 uS PICDIV strap is 1e8
#define FUDGE0           (uint64_t) 0        // fudge for system delays, in picoseconds
#define TIME_DILATION    (int64_t)  2000     // multiplier for normLSB;
#define FIXED_TIME2      (int64_t)  1125     // If 0, use measured time2Result.  Otherwise replace
                                             // with this value.  Nominal on boardc1/chA is 1125.
/*****************************************************************************/

//#define DETAIL_TIMING   // if enabled, prints execution time

#include <stdint.h>   // define unint16_t, uint32_t
#include <SPI.h>      // SPI support


  sprintf(str,"%lu.",sec), Serial.print(str);
  sprintf(str, "%06lu", frach), Serial.print(str);
  sprintf(str, "%06lu", fracl), Serial.print(str);  
} 

void print_signed_picos_as_seconds (int64_t x) {
