Is it really worth having yet another kind of comment? I.e., is the tiny ambiguity #;r6rs (or #|r6rs|#, but I suspect the former is easier on the implementors) would carry really worth it? -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla