(gud-mode, gud-sentinel):