+ if(lib_names[j]==':' || lib_names[j]==0)
+ {
+ int at_end = (lib_names[j]==0);
+ lib_names[j] = 0;
+
+ gl_libs[n_libs] = dlopen(lib_names+i, RTLD_NOW);
+ if(!gl_libs[n_libs])
+ {
+ fprintf(stderr, "Could not open %s: %s\n", lib_names+i, dlerror());
+ abort();
+ }
+
+ i = j+1;
+ ++n_libs;
+
+ if(at_end)
+ break;
+ }