On Wed, May 01, 2019 at 12:49:53PM +0200, Arnout Vandecappelle wrote: > Hi Nicola, Hi Arnout, many thanks for your time. I've implemented all your suggestions in a new version of the patch which I've posted separately. I hope I got all correct this time. Regards Nicola