ignore = [ "src/proto/mod.rs", "src/proto/proof.rs", ]