define variables in destructing patterns