Yes, I agree. 

Unfortunately there is no API to test if a handle is closed. I've tried closing it again to raise an exception but that did not work either -- nothing happens. We could try to check for the return code of the second call to `CloseHandle` but I have mixed feelings about this.