--- a/tests/python/runtime.py	Wed Jul 29 10:49:31 2009 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-import time,sys
-def myprintfunc(arg):
-    print arg
-    sys.stdout.flush()
-    return arg