title: Do string literals that end with a null-terminator contain an extra null-terminator?
body: <p>For example:</p>
  
  <pre><code>char a[] = "abc\0";
  </code></pre>
  
  <p>Does standard C say that another byte of value <code>0</code> must be appended even if the string already has a zero at the end? So, is <code>sizeof(a)</code> equal to 4 or 5?</p>