diff --git a/tools/laf/test/test.c b/tools/laf/test/test.c
deleted file mode 100644
index 4fd335a46c6a027dcb3c170dcd0efe7009c8a1e5..0000000000000000000000000000000000000000
--- a/tools/laf/test/test.c
+++ /dev/null
@@ -1,12 +0,0 @@
-#include <iostream>
-#include <stdio.h>
-#include <stdlib.h>
-
-int main(int argc, char **argv)
-{
-	int x = 0;
-	std::cin >> std::hex >> x;
-	if (x == 0x01000000)
-            abort();
-	return 0;
-}
diff --git a/tools/laf/test/test2.c b/tools/laf/test/test2.c
deleted file mode 100644
index 449004a6120cfe0b24694868c79a93cbf0753c5e..0000000000000000000000000000000000000000
--- a/tools/laf/test/test2.c
+++ /dev/null
@@ -1,12 +0,0 @@
-#include <iostream>
-#include <stdio.h>
-#include <stdlib.h>
-
-int main(int argc, char **argv)
-{
-	int x = 0;
-	std::cin >> std::hex >> x;
-	if (x == 0x12345678)
-            abort();
-	return 0;
-}
diff --git a/tools/laf/test/test4.c b/tools/laf/test/test4.c
deleted file mode 100644
index 6b242c872436d39efba023459ed9922901d9c639..0000000000000000000000000000000000000000
--- a/tools/laf/test/test4.c
+++ /dev/null
@@ -1,20 +0,0 @@
-#include <unistd.h>
-#include <iostream>
-#include <stdio.h>
-#include <stdlib.h>
-
-int main(int argc, char **argv)
-{
-	int x;
-
-	read(0, &x, 4);
-//	if (x == 33620225) // 0x02010101
-//	if (x == 3791716609) // 0xe2010101
-//	if (x == 16843057) 
-//	if (x == 16851249) 
-//		if (x == 0x7c3f) 
-	if (x == 0x237c3f) 
-//	if (x == 0x3f7c1234) 
-            abort();
-	return 0;
-}