Or maybe even better, I could do that on the args match: ('system-error "open-file" . rest) becomes ('system-error "open-file" _ which-file-failed . rest). Both these suggestions should be credited to roptat.