  Revised WITH-VALUES and VALUES (I think we are near
agreement!)          I would rather say that the implementation
may report the violation of         an implementation
restriction (just like in the numeric section).  The
program is not in error, neither is the implementation, there is
purely a mismatch.      Any encoding of information (such as an
English sentence or a computer     program) must have -implicit-
in it an encoding strategy.  You cannot     say "oh, and by the
way, this sentence is in English" at the end of a     sentence
because that phrase may be interpreted differently in another
language.  In the end, it's a grand leap of faith that anyone
ever     understands anything anyone else says.      By my
terminology, a mismatch can occur only when someone tries to run
an interpreter on a piece of code that it was not intended to be
run on.      (PRINT (+ (VALUES 1 2) 3))     If you try to
evaluate it in Scheme and it gives you an error, someone     in
the office nearby might be right for saying "Yo