diff --git a/executablecode/src/debug.c b/executablecode/src/debug.c
index 52342d78f5f91e5da3e1fac87287a9288db45e22..c858d95c402b4f3eb76d7e3e676392b5785e5da0 100644
--- a/executablecode/src/debug.c
+++ b/executablecode/src/debug.c
@@ -1,8 +1,10 @@
 #include <stdlib.h>
 #include <stdio.h>
+#include <time.h>
 
 #include "debug.h"
 
+
 #define DEBUG_ON 1
 #define DEBUG_OFF 2
 
@@ -65,3 +67,7 @@ void debugMsg(char *msg) {
     printf("DT> %s\n", msg);
   }
 }
+
+void debugTime(struct timespec *ts) {
+  printf("DT> sec=%ld nsec=%ld", ts->tv_sec, ts->tv_nsec);
+}
diff --git a/executablecode/src/debug.h b/executablecode/src/debug.h
index f8fb933d27884897647161e5aedb977052f2bef3..7ad45e039b9bebb41babb46564ff6f097fb8797e 100644
--- a/executablecode/src/debug.h
+++ b/executablecode/src/debug.h
@@ -11,6 +11,7 @@ void debugTwoInts(char *msg, int value1, int value2);
 void debugLong(char *msg, long value);
 void debugInt(char *msg, int value);
 void debugMsg(char *msg);
+void debugTime(struct timespec *ts);
 
 #endif