public void InterruptListener () { while (true){ int b = interrupt_stream.ReadByte(); if (b == -1) return; Evaluator.Interrupt (); interrupt_stream.WriteByte (0); } }