As part of the modifications to the control-flow graph library, an existing output routine was extended to produce input suitable for the vcg graph-layout tool [9]. Illustrative output from the optimized ExecuteNextInstruction code evaluated in section 5 is included as figure 8.