- (defconstant dynamic-1-space-start #x40000000)
- (defconstant dynamic-1-space-end #x48000000)
-
- (defconstant control-stack-start #x50000000)
- (defconstant control-stack-end #x51000000)
-
- (defconstant binding-stack-start #x60000000)
- (defconstant binding-stack-end #x61000000))