Hi,

people on #lisp suggested that this would be a useful test case:
http://www.cs.utexas.edu/users/mfkb/km/km-2-2-19.lisp

It's claimed that this exposes bugs in our multiple-value returns.