diff --git a/functions/aux_values.c b/functions/aux_values.c
index 6c930489d8ad6ffcdcea9cae94510ae3f3a5e3ff..cbdb3910b9304328e04cf11516c4d07ba9af8d3c 100644
--- a/functions/aux_values.c
+++ b/functions/aux_values.c
@@ -15,3 +15,16 @@ void edit_all_aux_value(function * fun,int *i)
                 bb->aux = i;
         }
 }
+
+void print_bb_aux(function * fun)
+{
+        basic_block bb;
+        FOR_ALL_BB_FN(bb,fun)
+        {
+                if (bb->aux !=NULL && *((int *)bb->aux)>=0)
+                {
+                        printf("bb aux value here : %i\n",*((int *)bb->aux));
+                }
+        }
+}
+
diff --git a/functions/aux_values.h b/functions/aux_values.h
index 46de337fed7adab5f4941cbb3f3d2bf1cb859618..78069cadd0a268d237602186dedb3348022822f2 100644
--- a/functions/aux_values.h
+++ b/functions/aux_values.h
@@ -3,5 +3,6 @@
 
 void edit_aux_value(basic_block bb, int *i);
 void edit_all_aux_value(function * fun,int *i);
+void print_bb_aux(function * fun);
 
 #endif
diff --git a/plugin.cpp b/plugin.cpp
index d87b34789f412dd0bb21aa3f1f8472ce53cdde4b..acbfcf07a35da416671edf6c37b57d7178ebbaa5 100755
--- a/plugin.cpp
+++ b/plugin.cpp
@@ -71,7 +71,7 @@ class my_pass : public gimple_opt_pass
                 /* Gate function (shall we apply this pass?) */
                 bool gate (function * fun)
                 {
-                        printf("plugin: gate... \n");
+                        printf("=> plugin: gate... \n");
                         return true;
                 }
 
@@ -80,7 +80,8 @@ class my_pass : public gimple_opt_pass
                 /* Execute function */
                 unsigned int execute (function *fun)
                 {
-                        printf("plugin: execute...\n");
+                        printf("=> plugin: execute...\n");
+			printf("... in function %s\n", function_name(fun));
 			edit_all_aux_value(fun,(int*)NULL);
 			return 0;
                 }