Figure 9: The time diagram of the output of for (, , ).