%pre
arg ::= <ExecutableFile>
defines the relative or absolute name of the simulation binary
