(Partially untested) implementation of an extension loader.