diff --git a/src/example-archive/c-testsuite/broken/error-crash/00104.err125.c b/src/example-archive/c-testsuite/broken/error-crash/00104.err125.c
deleted file mode 100644
index f21cb997..00000000
--- a/src/example-archive/c-testsuite/broken/error-crash/00104.err125.c
+++ /dev/null
@@ -1,29 +0,0 @@
-/*
-internal error: todo: M_BW_COMPL
-cn: internal error, uncaught exception:
-    Failure("internal error: todo: M_BW_COMPL")
-*/
-// Cause: unknown 
-
-#include <stdint.h>
-
-int
-main()
-{
-	int32_t x;
-	int64_t l;
-	
-	x = 0;
-	l = 0;
-	
-	x = ~x;
-	if (x != 0xffffffff)
-		return 1;
-	
-	l = ~l;
-	if (x != 0xffffffffffffffff)
-		return 2;
-
-	
-	return 0;
-}
diff --git a/src/example-archive/c-testsuite/broken/error-crash/00126.err125.c b/src/example-archive/c-testsuite/broken/error-crash/00126.err125.c
deleted file mode 100644
index 45ccb60a..00000000
--- a/src/example-archive/c-testsuite/broken/error-crash/00126.err125.c
+++ /dev/null
@@ -1,21 +0,0 @@
-/*
-internal error: todo: M_BW_COMPL
-cn: internal error, uncaught exception:
-    Failure("internal error: todo: M_BW_COMPL")
-*/
-// Cause: unknown 
-
-int
-main()
-{
-        int x;
-
-        x = 3;
-        x = !x;
-        x = !x;
-        x = ~x;
-        x = -x;
-        if(x != 2)
-                return 1;
-        return 0;
-}
diff --git a/src/example-archive/simple-examples/broken/error-crash/neg_crash_1.c b/src/example-archive/simple-examples/broken/error-crash/neg_crash_1.c
deleted file mode 100644
index 0880e08b..00000000
--- a/src/example-archive/simple-examples/broken/error-crash/neg_crash_1.c
+++ /dev/null
@@ -1 +0,0 @@
-void a() { ~0; }