//this file tests method definitions
//this file is correct
class MethodTest {

	Int formal () {}
	
	Null formal (Int id) {return id}

	formal formal (Int id, Int id) {ident;}

}
formal