checkers-macros (cargo): Macros for checkers, a sanity checker for global allocations. 
Keywords: allocator|memory|heap