What about just inserting something like (CONS 1 3 #<extraneous-args>) for any number of extra args, since the actual number of passed args will be shown in the error message anyway.
What about just inserting something like (CONS 1 3 #<extraneous-args>) for any number of extra args, since the actual number of passed args will be shown in the error message anyway.