Updates on exec-array.cpp, exec-engine.cpp, exec.h files