Doug, Could you possibly put something together about how to debug CGEN using Guile? I'm interested in setting breakpoints in certain functions, examining arguments, etc. I'm happy to incorporate such documentation into the manual. Ben