Implementation: loading libraries (not complete)