<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=ISO-8859-1"
 http-equiv="Content-Type">
  <title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
On 11/23/2011 05:55 PM, jean-frederic thebault wrote:
<blockquote
 cite="mid:CABxEnSKOkwvAsaA7r3P6tm2aA2a1DD5+LPNhHAsnRrbmim_yyQ@mail.gmail.com"
 type="cite">
  <meta http-equiv="Content-Type"
 content="text/html; charset=ISO-8859-1">
  <div>OK, Im not familiar with debugger (!!) but I will try to see
something with valgrind... </div>
</blockquote>
To be a more effective programmer, debugging is essential so investing
some time in it pays off in the long run quite a lot.
</body>
</html>