Update execute.cc