private static extern void eddie_signal(int signum, eddie_sighandler handler);
public static void Signal(int signum, eddie_sighandler handler) { eddie_signal(signum, handler); }
public static extern void eddie_signal(int signum, eddie_sighandler handler);