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

// @author@	Thomas Kuehne <thomas-dloop@kuehne.thisisspam.cn>
// @date@	2005-05-11
// @uri@	news:rit129-at3.ln1@lnews.kuehne.cn

module dstress.run.o.opMul_07_A;

int main(){
	ifloat a = 4.0fi * 2.0fi;
	assert(a==8.0fi);
	return 0;
}