Macro proverif_unsafe_expr

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