(def!constant read-only-space-end #x15000000)
(def!constant static-space-start #x18000000)
(def!constant static-space-end #x1c000000)
(def!constant read-only-space-end #x15000000)
(def!constant static-space-start #x18000000)
(def!constant static-space-end #x1c000000)