I tried running your code in Visual Studio 6.0 SP6, and it seems that
the bug is fixed.
Both release and debug gave me "b is 11"