fprintf(stderr, "in core: 0x%x - in runtime: 0x%x or 0x%x\n",
addr, (os_vm_address_t)DYNAMIC_0_SPACE_START,
(os_vm_address_t)DYNAMIC_1_SPACE_START);
fprintf(stderr, "in core: 0x%x - in runtime: 0x%x or 0x%x\n",
addr, (os_vm_address_t)DYNAMIC_0_SPACE_START,
(os_vm_address_t)DYNAMIC_1_SPACE_START);