Re: exit continuation doesn't like multiple values

You should write

   (escape 3.0 2.0 1.0)

instead of 

   (escape (values 3.0 2.0 1.0))

The latter is invalid in Scheme semantics.  The expression E
in the position of (escape E) has a continuation that expects
exactly 1 value, since 'escape' is just a procedure and E is
an argument passed to it.  You pass an expression that yield
three values '(values 3.0 2.0 1.0)' in a position where one
value is expected, which makes the program incorrect.

In other words, the following two expressions should be
equivalent.

 (f <expr>) == (call-with-values (lambda () <expr>) (lambda (x) (f x)))

That said, R5RS does not state what should exactly happen when
you pass multiple values where a single value is expected,
so Guile's behavior may be considered as the implementation's
extention.  Although it looks weird w.r.t. Scheme's semantics.

(Gauche is also loose on checking number of values, for I prefer
speed to strict checking.  So you may occasionally get surprising
result when you violate the semantics of multiple values.  Recently
I started feeling it created more confusion than the benefit of
marginal speed gain, though, and I'm inclined to put more strict