tuple destructuring in function arguments