// cs0164.cs: This label has not been referenced
// Line: 5
class X {
	static void Main () {
		a:
			return;
	}
}