;; C runtime read/write segment starts at 0x10000000, heap and DSOs
;; start at 0x2a000000
(def!constant dynamic-0-space-start #x30000000)
;; C runtime read/write segment starts at 0x10000000, heap and DSOs
;; start at 0x2a000000
(def!constant dynamic-0-space-start #x30000000)