linux-packaging-mono/mcs/tests/test-debug-15.cs

using System.IO;

class Foo
{
    ~Foo()
	{
		StreamWriter.Null.WriteLine("Finalize");
    }
	
    public static void Main ()
	{
		new Foo ();
	}
}