Initial modification to exec.cpp, difficulty with argv[]