Return proper signal number to avoid infinite loop in debugger