Figure 4:
A decoding example.
