118   char *EndPtr = NumberBuffer+sizeof(NumberBuffer);  in operator <<()  local
119   char *CurPtr = EndPtr;  in operator <<()
125   return write(CurPtr, EndPtr-CurPtr);  in operator <<()
144   char *EndPtr = std::end(NumberBuffer);  in operator <<()  local
145   char *CurPtr = EndPtr;  in operator <<()
151   return write(CurPtr, EndPtr-CurPtr);  in operator <<()
170   char *EndPtr = std::end(NumberBuffer);  in write_hex()  local
171   char *CurPtr = EndPtr;  in write_hex()
179   return write(CurPtr, EndPtr-CurPtr);  in write_hex()
421     char *EndPtr = NumberBuffer+Width;  in operator <<()  local
422     char *CurPtr = EndPtr;  in operator <<()
438     char *EndPtr = NumberBuffer+sizeof(NumberBuffer);  in operator <<()  local
439     char *CurPtr = EndPtr;  in operator <<()
446     int Len = EndPtr - CurPtr;  in operator <<()