On Fri, Aug 19, 2011 at 08:07:11AM +0200, Alan Barrett wrote: > If it helped, then it would also be fine to change > const char * format = "%s"; > to > const char * const format = "%s"; > but it doesn't help. but: const char format[] ="%s"; works just fine. Martin