Sorry, I couldn't test this program, but I fixed the memory allocator and 
hopefully this bug disappears now. Please retry with devel.

Reply via email to