def _index_to_int(self, index, empty_to_zero=False):
        if empty_to_zero and not index:
            return 0
        try:
            return int(index)
        except __HOLE__:
            raise ValueError("Cannot convert index '%s' to an integer" % index)
dataset/ETHPy150Open shellderp/sublime-robot-plugin/lib/robot/libraries/Collections.py/_List._index_to_int