On 10/06/2019 12.41, david.janin at labri.fr wrote: > Still, how can I cope with it ? Any suggestion much welcome, One option might be to use sized types, but this could lead to other complications. -- /NAD