if isinstance(obj, var_t):
      name = obj.name
      if obj.index is not None:
        name += '@%u' % obj.index
      yield token_var(name)