Update execute.cpp