profile

# File tools/profile, line 19
    def profile(file)
      stats << [file, depth]
      self.depth += 1
      result = nil
      elapsed = Benchmark.realtime { result = yield }
      self.depth -= 1
      stats.pop if stats.last.first == file
      stats << [file, depth, elapsed] if result
      result
    end