There should be no leaks when run with --enable-leak-detection