Wide-character sequences

A wide-character sequence is an array object of type wchar_t
A wide character sequence can be designated by a pointer value that designates its first element.
A null-terminated wide-character string, or NTWCS, is a wide-character sequence whose highest addressed element has the value zero.
The length of an NTWCS is the number of elements that precede the terminating null wide character.
An empty NTWCS has a length of zero.
The value of an NTWCS is the sequence of values of the elements up to and including the terminating null character.
A static NTWCS is an NTWCS with static storage duration.