protected override void ConsoleInterrupt (object sender, ConsoleCancelEventArgs a)
{
// Do not about our program
a.Cancel = true;
interrupt_stream.WriteByte (0);
int c = interrupt_stream.ReadByte ();
if (c != -1)
Console.WriteLine ("Execution interrupted");
}