Hello Abhijit, I remember having fixed this bug some months ago. Please try the latest head of Elephant 1.0 via darcs get http://www.common-lisp.net/project/elephant/darcs/elephant-1.0 Leslie