@prefetcher "double true" is the one that made me laugh out loud.
@mhoye
And there‘s no DOUBLE_FALSE because that‘s just TRUE 😁
@prefetcher