diff -r 677179c76e35 -r 0711775cb6b0 programs/C1.c
--- a/programs/C1.c	Tue Oct 08 02:22:53 2013 +0100
+++ b/programs/C1.c	Tue Oct 08 05:53:21 2013 +0100
@@ -2,7 +2,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 
-// for installation notes see C0.c
 
 void foo (char *bar)
 {
@@ -10,9 +9,7 @@
   char  buffer[28];        
 
   printf("my float value = %f\n", my_float);
-
-  strcpy(buffer, bar);  
- 
+  strcpy(buffer, bar);   
   printf("my float value = %f\n", my_float);
 }
  
@@ -21,7 +18,7 @@
   // only float overwritten
   foo("my string is too long !!!!! \x10\x10\xc0\x42"); 
   // also calls can_never_run
-  //foo("my string is too long !!!!! \x10\x10\xc0\x42\x90\x90\x90\x90\x55\x84\x04\x08"); 
+  foo("my string is too long !!!!! \x10\x10\xc0\x42\x90\x90\x90\x90\x55\x84\x04\x08"); 
   return 0;
 }