I'm still wondering what this statement says about the possible behaviors of ((lambda (x) x) (values 1 2)). Since it won't be covered by the semantics, it seems we're saying it must raise an exception. But that surely wasn't the intention, right? -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla