An alternate description of the multiple values proposal

[jinx (Guillermo J. Rozas)]

I'm happy with your wording.  There is one minor thing however:

    (CALL-WITH-VALUES producer consumer)                     [Procedure]

    Producer should be a procedure of zero arguments and consumer should be a
    procedure.  Consumer is applied to the value(s) returned by invoking
    producer.  CALL-WITH-VALUES returns the result(s) of the invocation of
    consumer.

Producer does not have to be a procedure of exactly zero arguments.
There is no reason to outlaw procedures of zero or more arguments.  On
the other hand, I don't feel at all strongly about this.

Perhaps "Producer should be a procedure that accepts zero arguments
and consumer should be a procedure..." would be better.