> Hold on, until we understand why Sean and I can compile with no problems > and you cannot, then it's a band-aid not a fix. The cast to uint64 is an actual error; it should have been a cast to uint16. We are building with different WDK installations.