exec -- execute another program

exec argv uses the 'exec' operating system call to start up another program, replacing the current Macaulay 2 process. Here argv is a string, or a sequence or list of strings to be passed as arguments to the new process. The first string is the name of the executable file.