updating coverage for new return argument behavior
changing formal parameter list to mirror other lists,
multiple symbols can be spliced in place even if it is not the last element of the list.