Debug info, corrections and output from profiling with Valgrind