masks            3413 gc/os_dep.c        exception_mask_t      masks[MAX_EXCEPTION_PORTS];
masks            3676 gc/os_dep.c            GC_old_exc_ports.masks,
masks            3741 gc/os_dep.c            if(GC_old_exc_ports.masks[i] & (1 << exception))