Macro verus 

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