Spec Example 6.6. Line Folding [1.3]