pollution: info
int dladdr(void *_addr, Dl_info *info); 

pollution: cfilename
pollution: flags
void *dlopen(const char *cfilename, int flags); 

pollution: handle
pollution: symbol
void *dlsym(void *handle, const char *symbol); 

pollution: handle
int dlclose(void *handle);