diff --git a/backendC/CleanCompilerSources/cocl.c b/backendC/CleanCompilerSources/cocl.c
index 8d49aafe4ce257861c2107d2f7c216d8553b4a58..153ac910f9cc4fa1f0f7cf2da35a75e2c9f518b0 100644
--- a/backendC/CleanCompilerSources/cocl.c
+++ b/backendC/CleanCompilerSources/cocl.c
@@ -99,7 +99,6 @@ Bool CallCompiler (int argc, char **argv)
 #endif
 	
 	DoWarning 				= True;
-	DoVerbose 				= False;
 	DoCode					= True;
 	DoDebug 				= False;
 	DoStrictnessAnalysis	= True;
@@ -144,7 +143,7 @@ Bool CallCompiler (int argc, char **argv)
 			argv_i=argv[i];
 			
 			if (strcmp (argv_i, "-v") == 0)
-				DoVerbose = True;
+				;
 			else if (strcmp (argv_i, "-w") == 0){
 				DoWarning = False;
 				DoStrictWarning	= False;
@@ -319,10 +318,7 @@ Bool CallCompiler (int argc, char **argv)
 
 	if (fname)
 		return Compile (fname,output_file_name);
-	else if (DoVerbose){
-		FPrintF (StdOut, "\nConcurrent Clean Compiler (Version %d.%d)\n\n", VERSION / 1000, VERSION % 1000);
-		return True;
-	} else {
+	else {
 		CmdError ("no input file given");
 		return False;
 	}
diff --git a/backendC/CleanCompilerSources/codegen.c b/backendC/CleanCompilerSources/codegen.c
index 19595a7eae78e7f514ec9cacbb126faf65d7c868..2ba0fd2971b353820e34d2d6f374d6596cec5c9f 100644
--- a/backendC/CleanCompilerSources/codegen.c
+++ b/backendC/CleanCompilerSources/codegen.c
@@ -1184,8 +1184,6 @@ void CodeGeneration (ImpMod imod, char *fname)
 		if (DoCode && !CompilerError){
 			ImpRuleS *rule;
 
-			Verbose ("Code generation");
-
 			if (!OpenABCFile (fname)){
 				StaticMessage (True, "<open file>","Can't create abc file '%s'",fname);
 				return;
diff --git a/backendC/CleanCompilerSources/compiler.c b/backendC/CleanCompilerSources/compiler.c
index ba9a44361a01aa654659cf6de9657e7f1582e784..66bae11b2084a4516f21df6edce25b84e0cb1a3f 100644
--- a/backendC/CleanCompilerSources/compiler.c
+++ b/backendC/CleanCompilerSources/compiler.c
@@ -1,6 +1,4 @@
 
-#undef PROFILE
-
 #include "compiledefines.h"
 #include "types.t"
 #include "system.h"
@@ -13,11 +11,6 @@
 #include "codegen.h"
 #include "statesgen.h"
 
-#ifdef _PROFILE_
-/* FROM profile IMPORT */
-	extern DumpProfile ();
-#endif
-
 char *CurrentFilePath;
 
 static Bool RemoveExtension (char *name)
@@ -41,8 +34,6 @@ static void AddExtension (char *name)
 static void ExecCompiler (char *fname,char *output_file_name)
 {
 	ImpMod imod;
-	
-/*	PrintVersion (); */
 
  	if (fname){	
 		Bool hadext;
@@ -97,21 +88,12 @@ static void ExecCompiler (char *fname,char *output_file_name)
 		CmdError ("No source file specified");
 }
 
-#ifdef PROFILE
-#include "profile.h"
-#endif
-
 #ifdef _MAC_
 	extern void GetInitialPathList (void);
 #endif
 
 Bool Compile (char *fname,char *output_file_name)
 {
-#ifdef PROFILE
-	InitProfile (900,300);
-	freopen ("Profile","w",stdout);
-#endif
-
 #ifdef _MAC_
 	GetInitialPathList();
 #endif
@@ -124,9 +106,5 @@ Bool Compile (char *fname,char *output_file_name)
 
 	ExitCompiler ();
 
-#ifdef PROFILE
-	DumpProfile();
-#endif
-
 	return ! CompilerError;
 }
diff --git a/backendC/CleanCompilerSources/comsupport.c b/backendC/CleanCompilerSources/comsupport.c
index 12eb71370d8f043a48acc34961b490129addc47e..4f03f165998a9deef483b69857fb77771d81c5a2 100644
--- a/backendC/CleanCompilerSources/comsupport.c
+++ b/backendC/CleanCompilerSources/comsupport.c
@@ -440,19 +440,6 @@ void StaticMessage (Bool error, char *symbol_format, char *message_format, ...)
 		CompilerError = True;
 }
 
-void Verbose (char *msg)
-{
-	if (DoVerbose)
-		FPrintF (StdVerboseL, "%s \"%s%s\"\n", msg, CurrentModule, CurrentExt);
-}
-
-void PrintVersion (void)
-{
-	if (DoVerbose)
-		FPrintF (StdVerboseL, "Concurrent Clean Compiler (Version %d.%d)\n",
-			   VERSION / 1000, VERSION % 1000);
-}
-
 static char Init[] = "Compiler initialization";
 
 File OpenedFile;
diff --git a/backendC/CleanCompilerSources/comsupport.h b/backendC/CleanCompilerSources/comsupport.h
index 45e85efbccc1cde7bef93b58ad4736f7f08853c0..20c701773efda9d228a97c770ca8c6c47b459003 100644
--- a/backendC/CleanCompilerSources/comsupport.h
+++ b/backendC/CleanCompilerSources/comsupport.h
@@ -45,8 +45,6 @@ extern void CompFree (void);
 extern Bool ArgParser (int argc, char *argv[]);
 extern void FatalCompError (char *mod, char *proc, char *mess);
 
-extern void Verbose (char *msg);
-extern void PrintVersion (void);
 extern void InitSettings (void);
 extern void ExitOnInterrupt (void);
 extern void InitCompiler (void);
diff --git a/backendC/CleanCompilerSources/instructions.c b/backendC/CleanCompilerSources/instructions.c
index f2f759a67270fd7fb72dcc4a22ea2634a7a099c0..170ca5cea6fccf70e43cef19cac127591ac900b4 100644
--- a/backendC/CleanCompilerSources/instructions.c
+++ b/backendC/CleanCompilerSources/instructions.c
@@ -45,11 +45,7 @@ static void error_in_function (char *m)
 */
 #define N_DoStrictnessAnalysis	4
 #define N_NoTimeProfiling		5
-
 #define N_ExportLocalLabels 6
-/*
-#define N_DoVerbose				6
-*/
 #define N_DoWarning				7
 #define N_System				8
 #define N_DoFusion				9
@@ -74,9 +70,6 @@ static void ConvertOptionsToString (char *optstring)
 
 	optstring[N_NoTimeProfiling]      = !DoTimeProfiling ? '1' : '0';
 	optstring[N_ExportLocalLabels] = ExportLocalLabels ? '1' : '0';
-/*
-	optstring[N_DoVerbose]            = DoVerbose ? '1' : '0';
-*/
 	optstring[N_DoWarning]            = DoWarning ? '1' : '0';
 	optstring[N_System]               = '0';
 
diff --git a/backendC/CleanCompilerSources/mac.h b/backendC/CleanCompilerSources/mac.h
index 052b5f044daf17cf4cb22acb1f9e1f8c43e9b41b..f66a8cffd0ba1f3d46715f1ae6be30ab0c1e7c6e 100644
--- a/backendC/CleanCompilerSources/mac.h
+++ b/backendC/CleanCompilerSources/mac.h
@@ -35,11 +35,7 @@ void FreePathList (void);
 #else
 #define StdError stdout
 #endif
-#define StdVerboseH stdout
-#define StdVerboseL stdout
-#define StdListTypes stdout
 
 #define FGetC(f) fgetc(f)
 #define FGetS(s,n,f) fgets(s,n,f)
 #define FPutC(c,f) fputc(c,f)
-
diff --git a/backendC/CleanCompilerSources/sa.c b/backendC/CleanCompilerSources/sa.c
index af4168e60d1be038f65a4736bb12b7573d0aea46..f375dbb0b4d36078427881a36601f9e89c0a8439 100644
--- a/backendC/CleanCompilerSources/sa.c
+++ b/backendC/CleanCompilerSources/sa.c
@@ -5696,8 +5696,6 @@ int init_strictness_analysis (ImpMod imod)
 	StrictAllWarning   = DoStrictAllWarning;
 	StrictChecks       = DoStrictCheck;
 	StrictExportChecks = DoStrictExportChecks;
-	
-	Verbose ("Strictness analysis");
 
 	/* Initialise all */
 #ifdef _DB_
diff --git a/backendC/CleanCompilerSources/sun.h b/backendC/CleanCompilerSources/sun.h
index c09d124d53e8c80dfb0952738f71c803ca4b77a8..720ed11d40a5893a35b176b8edeb6ac386e5f5f3 100644
--- a/backendC/CleanCompilerSources/sun.h
+++ b/backendC/CleanCompilerSources/sun.h
@@ -26,11 +26,6 @@ typedef FILE *File;
 extern FILE *std_out_file_p,*std_error_file_p;
 #define StdOut std_out_file_p 
 #define StdError std_error_file_p
-#define StdVerboseH std_out_file_p
-#define StdVerboseL std_out_file_p
-#define StdTrace std_out_file_p
-#define StdDebug std_out_file_p
-#define StdListTypes std_out_file_p
 
 #define FGetC(f) fgetc(f)
 #define FGetS(s,n,f) fgets(s,n,f)
diff --git a/backendC/CleanCompilerSources/windows_io.h b/backendC/CleanCompilerSources/windows_io.h
index d808013f12b4201153f449c5b3139cf1b0f16417..c6834b0b2b4c290f182382faf18b74b0b5e2cf2e 100644
--- a/backendC/CleanCompilerSources/windows_io.h
+++ b/backendC/CleanCompilerSources/windows_io.h
@@ -32,27 +32,13 @@ typedef float         FourBytesReal;
 
 typedef FILE *File;
 
-/* special for MacIntosh command line support */
-extern void InitIO (void);
-extern void GetPreferences (char *fname);
-
 #ifdef _MSC_VER
 extern FILE *std_out_file_p,*std_error_file_p;
 # define StdOut std_out_file_p 
 # define StdError std_error_file_p
-# define StdVerboseH std_out_file_p
-# define StdVerboseL std_out_file_p
-# define StdTrace std_out_file_p
-# define StdDebug std_out_file_p
-# define StdListTypes std_out_file_p
 #else
 # define StdOut stdout
 # define StdError stderr
-# define StdVerboseH stdout
-# define StdVerboseL stdout
-# define StdTrace stdout
-# define StdDebug stdout;
-# define StdListTypes stdout
 #endif
 
 #define FGetC(f) fgetc(f)