public bool IsManagedSignal(int signal)
{
if (!has_signals)
throw new InvalidOperationException ();
if ((signal == signal_info.SIGFPE) || (signal == signal_info.SIGQUIT) ||
(signal == signal_info.SIGABRT) || (signal == signal_info.SIGSEGV) ||
(signal == signal_info.SIGILL) || (signal == signal_info.SIGBUS))
return true;
return false;
}