# File wfo/main.rb, line 320
  def do_workdump(argv)
    argv.each {|n|
      puts "#{n} :"
      pp WorkArea.new(n).instance_eval { @info }
    }
  end