valgrind --leak-check=yes  --dsymutil=yes --trace-children=yes iop_main "/Users/iam/bin/IOP" "/Users/iam/bin/Maude"