virtualbox.org

I filed a bug with the official tracker but I was hoping I could get some feedback here as to whether the bug is valid. I know sometimes it can take quite some time before the bug is looked at. For the sake of not double posting information, you may read details at the following report:

https://www.virtualbox.org/ticket/12029

I can directly reproduce it with your sample code, so confirmed for me