Don't load asdf3 if it is already loaded