/* Produce one character in the parser's output buffer. */
STATIC VOID ParserCopy(OUT CHAR8 *Buffer, IN OUT UINTN *Position, IN UINTN Size, IN CHAR8 Char8)
/* Produce one character in the parser's output buffer. */
STATIC VOID ParserCopy(OUT CHAR8 *Buffer, IN OUT UINTN *Position, IN UINTN Size, IN CHAR8 Char8)
{
  ASSERT (*Position < Size);
  Buffer[(*Position)++] = Char8;
}