I've thought about adding supplied-p parameters to proceed functions.
They're not a whole lot of use since the only place you'd be able to
reference them is in later parameters of the proceed-function. There's
no good way to pass them on to the proceed case itself. However, since
the var list of a proceed function is essentially an &optional arglist
we should go ahead and let people put them in.
-- Andy. --