Running a program compiled with /check leaks memory

This is a feature of check mode. It is designed so that any new allocations of memory choose fresh space in preference to space that has just been freed from a previous allocation. This is to facilitate runtime checking of dangling pointers.