module tmp {

	
	altstep as_sample0() runs on sampleComponent{
		var integer a;
		var charstring b;
		[]t.timeout{
			timer xt;
//			var charstring c;
			const integer bx := 2;
		}
	}

	function xx () {
		timer t;
		alt { 
		[]t.timeout {
			timer xt;
			var charstring c;
		
		}
		}
	}
	
	testcase tx_00 () runs on sampleComponent {
		var charstring xxx ;
		timer xt
	}

	type component sampleComponent {
		var integer x;
		const integer cx:=4;
		timer tx;
	}

}