--- a/targets/plc_common_main.c	Sun Sep 07 10:03:23 2008 +0200
+++ b/targets/plc_common_main.c	Sun Sep 07 10:06:19 2008 +0200
@@ -33,12 +33,10 @@
  **/
  
 IEC_TIME __CURRENT_TIME;
+IEC_BOOL __DEBUG;
 int __tick = -1;
 
 static int init_level = 0;
-static int Debugging = 0;
-static int WasDebugging = 0;
-void AbortDebug();
 
 /*
  * Prototypes of functions exported by plugins