unsafe-storage (cargo): Maintain invariants in macros without modules
Keywords: macros|invariant|macro