The extension library