- 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%lx; in runtime: 0x%lx or 0x%lx\n",
+ (long)addr,
+ (long)DYNAMIC_0_SPACE_START,
+ (long)DYNAMIC_1_SPACE_START);