profile

# File tools/profile, line 88
            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