class stack_var_t(var_t):
  def __repr__(self):
    name = self.name
    if self.index is not None:
      name += '@%u' % self.index