if type(obj) == arg_t:
      name = obj.name
      if obj.index is not None:
        name += '@%u' % obj.index
      yield token_var(name)