Agregado el getchar() para winbugs