GC_save_callers  4016 gc/os_dep.c    void GC_save_callers (info)
GC_save_callers  4058 gc/os_dep.c    void GC_save_callers (info)