exception_mask_t 3413 gc/os_dep.c        exception_mask_t      masks[MAX_EXCEPTION_PORTS];
exception_mask_t 3639 gc/os_dep.c        exception_mask_t mask;