Macro verify 

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