diff --git a/cbits/clock.c b/cbits/clock.c
index b7dc72680..092bdb759 100644
--- a/cbits/clock.c
+++ b/cbits/clock.c
@@ -128,6 +128,8 @@ double clock_gettime_monotonic_seconds()
 #endif /* OS */
 
 
+#include <stdio.h>
+
 static double __program_epoch;
 
 double clock_gettime_elapsed_seconds(void)
@@ -140,6 +142,7 @@ double clock_gettime_elapsed_seconds(void)
 
 __attribute__((constructor)) void initialise_program_epoch(void)
 {
+    printf("--- Entering initialise_program_epoch constructor ---\n");
     __program_epoch = clock_gettime_monotonic_seconds();
 }
 
diff --git a/cbits/flags.c b/cbits/flags.c
index 3f5c016a5..2432db9cf 100644
--- a/cbits/flags.c
+++ b/cbits/flags.c
@@ -218,6 +218,8 @@ static void parse_options(int argc, char *argv[])
  */
 __attribute__((constructor)) void process_options(int argc, char *argv[])
 {
+  printf("--- Entering process_options constructor ---\n");
+
   /* Find the command line options which need to be processed. These will be
    * between +ACC ... [-ACC] (similar to the Haskell RTS options).
    *