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

// @author@	MicroWizard <MicroWizard_member@pathlink.com>
// @date@	2005-04-27
// @uri@	news:d4or18$1th1$1@digitaldaemon.com


module dstress.run.bug_cgcs_353_J;

ifloat[1] a;
ifloat[1] b;

ifloat[] concat() {
	return a~b;
}

int main(){
	a[]=1.0fi;
	b[]=3.0fi;

	ifloat[] arr=concat();

	if(2 != arr.length){
		assert(0);
	}
	if(1.0fi != arr[0]){
		assert(0);
	}
	if(3.0fi != arr[1]){
		assert(0);
	}
	
	return 0;
}