--formals
class C {
	a : Int;
	b : Bool;

 	d (a: Int, b: Int) : Int {  --allowed to overwrite previous names
	  b<-1
	};	

};

class Main {
	main():Int{
	1
	};
};