diff -r f7a9837a63b8 -r 6740798264c1 Attic/programs/C0.c
--- a/Attic/programs/C0.c	Sat Oct 04 15:16:32 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-#include <string.h>
-#include <stdio.h>
-#include <stdlib.h>
-
-void foo (char *bar)
-{
-  float my_float = 10.5;    // in hex: \x41\x28\x00\x00
-  char  buffer[28];        
-
-  printf("my float value = %f\n", my_float);
-
-  strcpy(buffer, bar);  
- 
-  printf("my float value = %f\n", my_float);
-}
- 
-int main (int argc, char **argv)
-{
-  foo("my string is too long !!!!! ");                  // all is normal
-  //foo("my string is too long !!!!! \x10\x10\xc0\x42");  // overwrites my_float
-  return 0;
-}
-