behavior         3734 gc/os_dep.c        exception_behavior_t behavior;
behavior         3746 gc/os_dep.c        behavior = GC_old_exc_ports.behaviors[i];
behavior         3749 gc/os_dep.c        if(behavior != EXCEPTION_DEFAULT) {
behavior         3755 gc/os_dep.c        switch(behavior) {
behavior         3775 gc/os_dep.c        if(behavior != EXCEPTION_DEFAULT) {