module main {
	import from configuraiton all;
	import from functions all;
	import from types all;
	import from templates all;
	import from types all;
	import from testacases all; 
	
	control {
		execute(tc1());
		execute(tc2());
	}
	
}