GC_disable_signals  485 gc/os_dep.c    void GC_disable_signals(void)
GC_disable_signals  539 gc/os_dep.c    void GC_disable_signals()
GC_disable_signals  583 gc/os_dep.c      void GC_disable_signals() { }