pattern matching: #{ d := V } = F4