[PPL-devel] Re: Segmentation faults with Ciao 1.9#44