Selective Repeat data structures: memory debug with Valgrind