title: malloc double free behaviour
body: <p>The GNU manual page for <code>malloc</code> defines that when <code>free()</code> called twice with the same pointer (that was previously allocated by <code>malloc()</code>) "undefined behaviour occurs".</p>
  
  <p>What kind of behaviour is that?<br>
  Where can I find more Information about this kind of error?</p>