232   CHAR8   *OutBufPtr;             // pointer to the output buffer

240   OutBufPtr = OutBuffer;

247     *OutBufPtr++ = Char;

253     *OutBufPtr++ = Char;

259   *OutBufPtr = '\0' ;  // the end of the buffer

794   CHAR8   *OutBufPtr;             // pointer to the output buffer

799   OutBufPtr = gOutBuffer;

800   *OutBufPtr++ = Type;

804   OutBufPtr = gOutBuffer;

809       *OutBufPtr++ = 0x7d;

813     *OutBufPtr++ = Char;

817   *OutBufPtr = '\0' ;  // the end of the buffer

Indexes created Sun Sep 10 09:05:34 CEST 2017