uint64_t->target_addr_t for stack pointers.