I just saw that #/ ... /# is the nested comment syntax. This leads me to make a suggestion: let the goo prompt be something like: #/goo/# <user types stuff here> Then copying and pasting code to and from the toplevel will Just Work, no matter what. -- Neel Krishnaswami neelk@alum.mit.edu