/* Rewind the last single-dot in the parser's output buffer. */
STATIC VOID ParserRewindDot(IN CHAR8 *Buffer, IN OUT UINTN *Position)
/* Rewind the last single-dot in the parser's output buffer. */
STATIC VOID ParserRewindDot(IN CHAR8 *Buffer, IN OUT UINTN *Position)
{
  ASSERT (*Position >= 2);
  ASSERT (Buffer[*Position - 1] == '.');
  ASSERT (Buffer[*Position - 2] == '/');
  (*Position)--;
}