# File format.rb, line 955
    def getTopVarNames (vars)
      vars += @vars.flatten
      if (@top)
        vars += @top.getTopVarNames(vars) 
      end
      vars
    end