-(def!constant linkage-table-space-start #x60000000)
-(def!constant linkage-table-space-end #x63fff000)
+ (def!constant linkage-table-space-start #x60000000)
+ (def!constant linkage-table-space-end #x63fff000)
+
+ (def!constant linkage-table-entry-size 16))