class C
{
	#line 100 "different-file.cs"
	public static void Main ()
	{
	}
	#line default
}