1. Compile benchmarks using -static option turned on (-Bstatic for cc).

2. Generate an instrumented version of the benchmark by:

$ spix benchmark benchmark.spix.

3. Run the instrumented benchmark to generate profile information by:

$ benchmark.spix options 3> benchmark.bb

4. Obtain dynamic statistics of the benchmark by:

$ spixstats -b benchmark.bb benchmark > benchmark.stats.

5. Additionally a SHADE program is used to gather more information.