Update execute.h