I request you this code, because VS12 C# compiler had different result. Maybe, it's bug in SharpDevelop. Thank you for attention
using System;
public class s
{
static void Main(string[ args)
{
try
{
Console.WriteLine("Hello ");
return;
}
finally { Console.WriteLine("Goodbye "); }
Console.WriteLine("world!");
}
}