Macro proverif 

proverif!() { /* proc-macro */ }