Spec Example 7.18. Flow Mapping Adjacent Values
