+1 Maurizio On 24/01/2020 08:45, Jan Lahoda wrote: > Right, I was thinking of that, but inclined to not do that, as it is a > little tricky (esp. to test) and we don't do it on other places (like > in switch over string), so it might be a more general effort.