[Urgente] Problema con getchar y while.

[torpecito]

Perdona que te contradiga, pero usas getch() al final del bucle, cuando escoges opción, y creo que, al no ser getch() estándar, existe la posibilidad de que el "enter" que presionas después del 1 se quede en el buffer y sea lo que lees con getchar(). Por eso al hacer fflush() se arregla todo, ya que fflush() borra el enter que metes después del 1 y que getch() no lee.