added '-dump' argument