/* Erases a percentage trailer from the standard ouput by means of writing backspace characters.  */
static void ErasePercentageTrailer(void)
/* Erases a percentage trailer from the standard ouput by means of writing backspace characters.  */
static void ErasePercentageTrailer(void)
{
  uint32_t backspaceCnt;
  uint32_t trailerLen;
  trailerLen = strlen("[100%]");
  for (backspaceCnt = 0; backspaceCnt < trailerLen; backspaceCnt++)
  {
    (void)putchar('\b');
    (void)putchar(' ');
    (void)putchar('\b');
  }
}