[tptacek]

So take the output of the profiler after running the program on a diversity of real inputs and use that to drive the optimizer.