t = bv.parse_type_string("int64_t *")
addr = 0x23174d0f000
while addr < 0x23174d0f2f0:
	bv.define_data_var(addr, t[0])
	addr += 8