Common Lisp solution to REVC.