%pre
arg ::= <ResultFileName>
