Pasted

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