Symbol: doexec