--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/bug_20050418_01.d	Mon Apr 18 07:49:34 2005 +0000
@@ -0,0 +1,36 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Kris <fu@bar.com>
+// @date@	2005-04-18
+// @uri@	news:d3rulu$bn9$1@digitaldaemon.com
+
+module dstress.run.bug_20050418_01;
+
+class Buffer{
+	uint limit;
+	int position;
+
+        invariant{
+		assert (position <= limit);
+	}
+}
+
+class Mapped : Buffer{
+	this(){
+	}
+
+	~this(){
+	}
+}
+
+int main(){
+	Buffer a = new Buffer();
+	Mapped b = new Mapped();
+	Buffer c = new Mapped();
+	assert(a);
+	assert(b);
+	assert(c);
+	return 0;
+}

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/bug_20050418_02.d	Mon Apr 18 07:49:34 2005 +0000
@@ -0,0 +1,33 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Kris <fu@bar.com>
+// @date@	2005-04-18
+// @uri@	news:d3rulu$bn9$1@digitaldaemon.com
+
+module dstress.run.bug_20050418_02;
+
+class Buffer{
+	uint limit;
+	int position;
+
+        invariant{
+		assert (position <= limit);
+	}
+}
+
+class Mapped : Buffer{
+	this(){
+	}
+}
+
+int main(){
+	Buffer a = new Buffer();
+	Mapped b = new Mapped();
+	Buffer c = new Mapped();
+	assert(a);
+	assert(b);
+	assert(c);
+	return 0;
+}

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/bug_20050418_03.d	Mon Apr 18 07:49:34 2005 +0000
@@ -0,0 +1,32 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Kris <fu@bar.com>
+// @date@	2005-04-18
+// @uri@	news:d3rulu$bn9$1@digitaldaemon.com
+
+module dstress.run.bug_20050418_03;
+
+class Buffer{
+	uint limit;
+	int position;
+}
+
+class Mapped : Buffer{
+	this(){
+	}
+
+	~this(){
+	}
+}
+
+int main(){
+	Buffer a = new Buffer();
+	Mapped b = new Mapped();
+	Buffer c = new Mapped();
+	assert(a);
+	assert(b);
+	assert(c);
+	return 0;
+}