def next_external_kernel_id(self):
        """constantly increasing counter for external kernel IDs"""
        c = self._external_kernel_counter
        self._external_kernel_counter += 1
        return c
constantly increasing counter for external kernel IDs
angrmanagement/vendor/qtconsole/mainwindow.py