Thomas Nowotny

I don't think either of these are realistic targets in the short run. However, not having them is not that much of a constraint I believe.

Hum ... I tried to reproduce the problem but it doesn't occur for me. Any ideas @mstimberg ? Besides, you would only need one call to ```device.reinit()``` at the end...

It is unlikely that a different GPU would make a difference here. However, from your posted output I can see you are working on Windows (whereas I am on a...