Petr Machata wrote:
> Hi list,
> 
> I found a minor bug in uslurp(int pid, const char* name).  It doesn't
> append a NUL character.  MapsBuilder.construct then throws an exception:

Hm, there is probably a better place for reporting bugs:
http://sourceware.org/bugzilla/show_bug.cgi?id=4324

PM