Profiling examples use linux tools perf and google orbit. Would be nice to use a (easily installable) cross-platform profiler so that participants can do the same on their computers. Maybe vTune?