HEX               739 src/scanner.cc         kind = HEX;
HEX               778 src/scanner.cc     ASSERT(kind != HEX);  // 'e'/'E' must be scanned as part of the hex number