Hola, no controlo de microC mucho, pero de todas formas te diré que el programa ese es muy raro, porque sólo se va a ejecutar una vez (o estoy equivocado quizá), por lo que veo, sólo vuelves a la etiqueta main en caso de que no sea 0 o 1 la patita RC4...
Lo normal es que pongas un lazo en ejecución continua e imagino que es lo que quieres hacer, por ello el "goto mains" en mi opinión no debería en el else.
Aunque como te digo no controlo mucho de microC, nunca he programado en él.