declare module '@webcomponents/custom-elements';