declare module "circomlib/src/poseidon_gencontract";