Chapter15 (v16) Patterns in variable definitions