Re: [PPL-devel] PPL compiled with native integers