checkers 0.5.6

A sanity checker for global allocations.