==13937== valgrind-20020227, a memory error detector for x86 GNU/Linux.
==13937== Copyright (C) 2000-2002, and GNU GPL'd, by Julian Seward.
==13937== For more details, rerun with: -v
==13937== 
==13937== 
==13937== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)
==13937== malloc/free: in use at exit: 759 bytes in 6 blocks.
==13937== malloc/free: 9534 allocs, 9528 frees, 13235521 bytes allocated.
==13937== For counts of detected errors, rerun with: -v
==13937== searching for pointers to 6 not-freed blocks.
==13937== checked 5639516 bytes.
==13937== 
==13937== definitely lost: 0 bytes in 0 blocks.
==13937== possibly lost:   0 bytes in 0 blocks.
