scope_enter_dead  262 src/core/scope.c                 scope_enter_dead(s, SCOPE_SUCCESS);
scope_enter_dead  270 src/core/scope.c         scope_enter_dead(s, SCOPE_FAILURE_RESOURCES);
scope_enter_dead  411 src/core/scope.c                 scope_enter_dead(s, SCOPE_SUCCESS);
scope_enter_dead  444 src/core/scope.c                         scope_enter_dead(s, SCOPE_FAILURE_TIMEOUT);
scope_enter_dead  451 src/core/scope.c                 scope_enter_dead(s, SCOPE_FAILURE_TIMEOUT);