def Lineno(self, lineno):
    """The string version of a line number, zero-padded as appropriate.

    Args:
      lineno: The line number
    Returns:
      The zero-padded string.
    """
    numberifier = '%%0%dd' % len(str(len(self._lines)))
    return numberifier % (lineno + 1)
dataset/ETHPy150Open google/vroom/vroom/output.py/ActionLogger.Lineno/original