diff --git a/src/IceCfg.cpp b/src/IceCfg.cpp
index 3211c30..9bc1ba5 100644
--- a/src/IceCfg.cpp
+++ b/src/IceCfg.cpp
@@ -181,6 +181,8 @@
       FunctionTimer.reset(new TimerMarker(
           getContext()->getTimerID(GlobalContext::TSK_Funcs, Name),
           getContext(), GlobalContext::TSK_Funcs));
+    if (isVerbose(IceV_Status))
+      getContext()->getStrDump() << ">>>Translating " << Name << "\n";
   }
   TimerMarker T(TimerStack::TT_translate, this);