flavors          3416 gc/os_dep.c        thread_state_flavor_t flavors[MAX_EXCEPTION_PORTS];
flavors          3680 gc/os_dep.c            GC_old_exc_ports.flavors
flavors          3747 gc/os_dep.c        flavor = GC_old_exc_ports.flavors[i];