(def!constant dynamic-0-space-start #x08000000)
(def!constant dynamic-0-space-end #x0c000000)
(def!constant dynamic-1-space-start #x0c000000)
(def!constant dynamic-0-space-start #x08000000)
(def!constant dynamic-0-space-end #x0c000000)
(def!constant dynamic-1-space-start #x0c000000)