Indeed this looks like it should work, since imported libraries are registered. We should detect that m1 is loaded already when we load m2 and do nothing.