ejemplo ejecucion no deterministica