--- thread.d.old	2008-01-11 19:11:03.000000000 +0100
+++ thread.d	2008-01-11 21:55:22.000000000 +0100
@@ -572,7 +572,7 @@
 
     pthread_t id;
     void* stackBottom;
-    void* stackTop;
+    void* _stackTop;
 
     void start()
     {
@@ -1115,6 +1115,18 @@
 	}
     }
 
+    public void* stacktop_override;
+    public void* stackTop()
+    {
+	if (stacktop_override)
+	    return stacktop_override;
+	return _stackTop;
+    }
+    public void* stackTop(void* v)
+    {
+	_stackTop=v;
+	return v;
+    }
     public static void* getESP()
     {
 	// TODO add builtin for using stack_pointer_rtx