#semántica de ejecución