--- a/stage4/generate_c/generate_c_inlinefcall.cc	Tue Oct 11 12:30:49 2011 +0200
+++ b/stage4/generate_c/generate_c_inlinefcall.cc	Wed Oct 12 16:09:29 2011 +0200
@@ -160,7 +160,8 @@
       s4o.print("_");
       function_name->accept(*this);
       if (f_decl != NULL) {
-printf("generate_inline(): calling print_function_parameter_data_types_c !!!!!!!!!!!!!!!!!!!!!!\n");
+        /* function being called is overloaded! */
+        s4o.print("__");
         print_function_parameter_data_types_c overloaded_func_suf(&s4o);
         f_decl->accept(overloaded_func_suf);
       }	
@@ -212,7 +213,8 @@
       s4o.print(" = ");
       function_name->accept(*this);
       if (f_decl != NULL) {
-printf("generate_inline(): calling print_function_parameter_data_types_c !!!!!!!!!!!!!!!!!!!!!!\n");
+    	/* function being called is overloaded! */
+    	s4o.print("__");
         print_function_parameter_data_types_c overloaded_func_suf(&s4o);
         f_decl->accept(overloaded_func_suf);
       }