Add test codifying behavior when two modules reuse the same extension number

Add test codifying behavior when two modules reuse the same extension number #84