Update execute.c