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

module dstress.run.int_01;

int main(){
	int a;
	
	assert(a.init == 0);
	assert(int.init == 0);
	assert(a == 0);

	return 0; 
}