1# ARGF = open('ha')
2cd = `pwd`.chomp + '/'
3ARGF.each{|line|
4  if /^0x([a-z0-9]+),/ =~ line
5    stat = line.split(',')
6    addr = stat[0].hex + 0x00400000
7    retired = stat[2].to_i
8    ticks   = stat[3].to_i
9
10    src = `addr2line -e miniruby.exe #{addr.to_s(16)}`.chomp
11    src.sub!(cd, '')
12    puts '%-40s 0x%08x %8d %8d' % [src, addr, retired, ticks]
13  end
14}
15
16