The stdio buffer is typically about 2K in length. Calling fgetc requests information in a blocking manner. The buffer will be filled when the end-of-line character is detected in the low-level input request. Calls to fgetc will then be serviced as encountered. This information is specific to windows and, in particular, specific to code traced in the past in debug mode ...