2 using System.Diagnostics;
3 using System.Threading;
4 using System.Threading.Tasks;
6 class CustomException : Exception
12 static ManualResetEvent mre = new ManualResetEvent (false);
19 throw new CustomException ();
26 /* expected exit code: 255 */
27 static void Main (string[] args)
32 GC.WaitForPendingFinalizers ();
34 if (!mre.WaitOne (5000))