colordebajo -Información Técnica-
Colordebajo no sólo devuelve números enteros sino también decimales. Cuando MicroMundos devuelve números decimales, puede devolver un número ligeramente diferente del que se espera. Esto se debe al recálculo del color RGB.

fcolor 105,6
pinta
muestra colordebajo
105,4
fcolor 17,2
pinta
muestra colordebajo
17,1

En una condición de parada, hay que usar siempre el número del color (nunca su nombre) para verificar el color que está debajo de la tortuga. Por ejemplo:

si colordebajo = 15 [anuncia [¡Ganaste!]]