Implemented a debugging system that check if every allocated pointer has been free()d before exit