Type Definition isla_lib::memory::Address

type Address = u64;

For now, we assume that we only deal with 64-bit architectures.