Spec Example 6.7. Block Folding
