addr = 0x23174dbf000
r = BinaryReader(bv)
r.seek(addr)
while addr <= 0x23174dbf2e8:
	try:
		name = bv.get_symbol_at(addr).name
	except:
		addr += 8 
		continue
	target = r.read64()
	if target == 0x0:
		addr += 8
		continue
	
	s = Symbol(SymbolType.LibraryFunctionSymbol, target, "_{0}".format(name))
	bv.define_user_symbol(s)	
	addr += 8