-(progn
- (def!constant read-only-space-start #x04000000)
- (def!constant read-only-space-end #x040ff000)
- (def!constant static-space-start #x04100000)
- (def!constant static-space-end #x041ff000)
-
- (def!constant linkage-table-space-start #x04200000)
- (def!constant linkage-table-space-end #x042ff000))