def __repr__(self):
    name = self.name
    if self.index is not None:
      name += '@%u' % self.index
    return '<arg %s>' % (name, )