In order to understand Guile's debugging facilities, you first need to understand a little about how the evaluator works and what the Scheme stack is. With that in place we explain the low level trap calls that the evaluator can be configured to make, and the trap and breakpoint infrastructure that builds on top of those calls.