Add debug code for W32CE