Spec Example 6.6. Line Folding