// $HeadURL$
// $Date$
// $Author$

module dstress.run.with_03;

class MyClass{
	int test(){
		return 1;
	}
}

class Parent{
	int test(){
		return 3;
	}
}

class Check : Parent{
	int test(){
		return 2;
	}

	void check(){
		MyClass object=new MyClass();
		assert(test()==2);
		with(object){
			assert(test()==1);
			assert(super.test()==3);
		}
	}
}

int test(){
	return 0;
}

int main(){
	Check o=new Check();
	o.check();
	return 0;
}