// This isn't a hex literal, since there are no digits.
0x
