looks like a bug in your processor (Microsoft .net implementation?)
or an error in calling its API. Michael Kay http://www.saxonica.com/