diff --git a/transpiler/BUILD b/transpiler/BUILD
index a85e692..8f67e00 100644
--- a/transpiler/BUILD
+++ b/transpiler/BUILD
@@ -359,6 +359,8 @@ cc_library(
         ":abstract_xls_transpiler",
         "@com_google_absl//absl/container:flat_hash_map",
         "@com_google_absl//absl/container:flat_hash_set",
+        "@com_google_absl//absl/log",
+        "@com_google_absl//absl/log:check",
         "@com_google_absl//absl/status",
         "@com_google_absl//absl/status:statusor",
         "@com_google_absl//absl/strings",
diff --git a/transpiler/abstract_xls_runner.h b/transpiler/abstract_xls_runner.h
index 4769637..59b4408 100644
--- a/transpiler/abstract_xls_runner.h
+++ b/transpiler/abstract_xls_runner.h
@@ -43,6 +43,8 @@
 
 #include "absl/container/flat_hash_map.h"
 #include "absl/container/flat_hash_set.h"
+#include "absl/log/check.h"
+#include "absl/log/log.h"
 #include "absl/status/status.h"
 #include "absl/status/statusor.h"
 #include "absl/strings/string_view.h"
diff --git a/transpiler/examples/sqrt/sqrt_cleartext_testbench.cc b/transpiler/examples/sqrt/sqrt_cleartext_testbench.cc
index 95f8ed6..d094ef5 100644
--- a/transpiler/examples/sqrt/sqrt_cleartext_testbench.cc
+++ b/transpiler/examples/sqrt/sqrt_cleartext_testbench.cc
@@ -37,8 +37,8 @@ Encoded<short> TimedYosysSqrt(Encoded<short>& ciphertext) {
   std::cout << "Starting!" << std::endl;
   Encoded<short> result;
   XLS_CHECK_OK(isqrt(result, ciphertext));
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << (clock() - start_time) / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": "
+            << (clock() - start_time) / 1000000 << " secs" << std::endl;
   return result;
 }
 
diff --git a/transpiler/examples/string_cap/string_cap_cleartext_testbench.cc b/transpiler/examples/string_cap/string_cap_cleartext_testbench.cc
index 10721de..41db451 100644
--- a/transpiler/examples/string_cap/string_cap_cleartext_testbench.cc
+++ b/transpiler/examples/string_cap/string_cap_cleartext_testbench.cc
@@ -37,8 +37,8 @@ void BoolStringCap(EncodedArray<char>& ciphertext) {
   double start_time = clock();
   std::cout << "Starting!" << std::endl;
   XLS_CHECK_OK(CapitalizeString(ciphertext));
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << (clock() - start_time) / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": "
+            << (clock() - start_time) / 1000000 << " secs" << std::endl;
 }
 
 int main(int argc, char** argv) {
diff --git a/transpiler/examples/string_cap_char/string_cap_char_cleartext_testbench.cc b/transpiler/examples/string_cap_char/string_cap_char_cleartext_testbench.cc
index c89decd..0b1dea1 100644
--- a/transpiler/examples/string_cap_char/string_cap_char_cleartext_testbench.cc
+++ b/transpiler/examples/string_cap_char/string_cap_char_cleartext_testbench.cc
@@ -48,8 +48,8 @@ void BoolStringCap(EncodedArray<char>& cipherresult,
               << " secs" << std::endl;
     total_time += char_time;
   }
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << total_time / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": " << total_time / 1000000
+            << " secs" << std::endl;
 }
 
 int main(int argc, char** argv) {
diff --git a/transpiler/examples/string_reverse/string_reverse_cleartext_testbench.cc b/transpiler/examples/string_reverse/string_reverse_cleartext_testbench.cc
index 720f6fe..2ceb272 100644
--- a/transpiler/examples/string_reverse/string_reverse_cleartext_testbench.cc
+++ b/transpiler/examples/string_reverse/string_reverse_cleartext_testbench.cc
@@ -28,8 +28,8 @@ void BoolStringReverse(EncodedArray<char>& ciphertext) {
   double start_time = clock();
   std::cout << "Starting!" << std::endl;
   XLS_CHECK_OK(ReverseString(ciphertext));
-  std::cout << "\t\t\t\t\tTotal time "
-            << ": " << (clock() - start_time) / 1000000 << " secs" << std::endl;
+  std::cout << "\t\t\t\t\tTotal time " << ": "
+            << (clock() - start_time) / 1000000 << " secs" << std::endl;
 }
 
 int main(int argc, char** argv) {