Spec Example 8.19. Compact Block Mappings