*os_context_register_addr(context,reg_ALLOC) -= (1L<<63);
interrupt_handle_pending(context);
} else if (!interrupt_maybe_gc(signal, info, context)) {
*os_context_register_addr(context,reg_ALLOC) -= (1L<<63);
interrupt_handle_pending(context);
} else if (!interrupt_maybe_gc(signal, info, context)) {