open Printf let runner dry file = printf "Extract file dry=%b %s\n" dry file