GC_enable_signals  493 gc/os_dep.c    void GC_enable_signals(void)
GC_enable_signals  568 gc/os_dep.c    void GC_enable_signals()
GC_enable_signals  584 gc/os_dep.c      void GC_enable_signals() { }