declare module 'gmpwasmts' {
  export const gmpWasmLength: number;
  export const gmpWasm: string;
}