title: getchar does not return even though buffering is turned off
body: <p>I compile and run this simple program in console of Linux 3.12, GCC 4.8:</p>
  
  <pre><code>#include &lt;stdio.h&gt;
  main() {
          setvbuf(stdin, NULL, _IONBF, 0);
          printf("%c\n", getchar());
  }
  </code></pre>
  
  <p>Run the program and press any letter, the program does not exit unless I press enter key.</p>
  
  <p>What is stopping getchar() from functioning? Is there a hidden buffer somewhere?</p>