Spec Example 8.14. Block Sequence