madsim-macros (cargo): Madsim's proc-macro.
Keywords: deterministic|distributed-systems|simulator