The infrastructure required to manage dynamic loading of extensions and interposition is provided by DITOOLS (our Dynamic Interposition Tools). DITOOLS allows modifying the execution environment of dynamically-linked executables at every run, either to select among different service implementations, as well as to accommodate unforeseen functionality. Using this infrastructure, programmers are allowed to change bindings, redefine symbols, load new modules or remap global variables.