--file=@var{file}--dump-file=@var{file}