Update execute.cc

DONE!