eiffelstudio-developers - Revision 47: /users/patrickr/valgrind_converter