changed execute.c