Int noReturnFromNonVoid() {
	Int a;
	a := 5;
}

Void returnFromVoid() {
	return 5;
}

Void duplicateFunction() {
}

Void duplicateFunction() {
}

Void duplicateLocals(Int a) {
	Int a;
}

Void localVoid(Void x) {
	Void y;
	y := duplicateLocals(True);
}