The valgrind converter allows to convert the translated C names in valgrind/callgrind files back to the original Eiffel names.