Put an fflush(stdout) twixt the printf and getchar?