additional debug info in InterruptSensor