Spec Example 8.17. Explicit Block Mapping Entries