Spec Example 7.20. Single Pair Explicit Entry