Figure 3

Synthesized output of process "Initialization."