[PPL-devel] Re: Question regarding speed of the library