--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/PC/python34gen.py	Sat Sep 29 09:34:13 2012 +0200
@@ -0,0 +1,26 @@
+# Generate python34stub.def out of python3.def
+# The regular import library cannot be used,
+# since it doesn't provide the right symbols for
+# data forwarding
+out = open("python34stub.def", "w")
+out.write('LIBRARY "python34"\n')
+out.write('EXPORTS\n')
+
+inp = open("python3.def")
+line = inp.readline()
+while line.strip().startswith(';'):
+    line = inp.readline()
+line = inp.readline() # LIBRARY
+assert line.strip()=='EXPORTS'
+
+for line in inp:
+    # SYM1=python34.SYM2[ DATA]
+    head, tail = line.split('.')
+    if 'DATA' in tail:
+        symbol, tail = tail.split(' ')
+    else:
+        symbol = tail.strip()
+    out.write(symbol+'\n')
+
+inp.close()
+out.close()