This SRFI introduces the rest-values procedure which has three modes of operation:

1. it processes a rest list after checking its elements with default values or predicate procedures,
2. it processes a rest list with default values without checking its elements,
3. it processes a default list whose elements are lists or pairs, after checking their elements that are default values or predicate procedures with the elements of a rest list,

and eight macros which additionally check the rest arguments that are returned by rest-values.