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