//check if the beginning of s is the actual token
    if (tokenLength && !strncmp(s, tokPtr - tokenLength, tokenLength))
    {
    if (s[tokenLength] == ':')
    {
      s = s + tokenLength + 1; /* Skip over "Re:" */
      result = true;      /* Yes, we stripped it. */
      goto AGAIN;          /* Skip whitespace and try again. */
    }
    else if (s[tokenLength] == '[' || s[tokenLength] == '(')
    {
      const char *s2 = s + tokenLength + 1; /* Skip over "Re[" */

      /* Skip forward over digits after the "[". */
      while (s2 < (s_end - 2) && isdigit((unsigned char)*s2))
      s2++;

      /* Now ensure that the following thing is "]:"
       Only if it is do we alter `s'. */
      if ((s2[0] == ']' || s2[0] == ')') && s2[1] == ':')
      {
      s = s2 + 2;     /* Skip over "]:" */
      result = true; /* Yes, we stripped it. */
      goto AGAIN;     /* Skip whitespace and try again. */
      }
    }
    }