Proposed resolution (July, 2009):

Add the following to 15.12 [cpp.predefined] paragraph 2:

__STDC_MB_MIGHT_NEQ_WC__

The integer constant 1, intended to indicate that, in the encoding for wchar_t, a member of the basic character set need not have a code value equal to its value when used as the lone character in an ordinary character literal.