Spec Example 8.18. Implicit Block Mapping Entries
