Macro verify

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