doexec /path/to/command [argv[0]] ... [argv[n]]

Execute the specified command with the specified options and arguments. Differs from the normal exec command in that argv[0]
may be completely arbitrary, and in that it passes all options to the executable being run.