Macro miden_span_record 

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