mach_msg_id_t    3448 gc/os_dep.c    static void GC_mprotect_thread_notify(mach_msg_id_t id) {
mach_msg_id_t    3527 gc/os_dep.c        mach_msg_id_t id;