-\begin_layout Chunk
-t = (char *)strpbrk(s+1, " :");
-\begin_inset Newline newline
-\end_inset
-
-if (t == NULL || *t == ' ')
-\begin_inset Newline newline
-\end_inset
-
- <<No gcc error found here, but it might terminate the scanning of a previous
- one>>
-\begin_inset Newline newline
-\end_inset
-
-/****** Verify if is all digits between ":" */
-\begin_inset Newline newline
-\end_inset
-
-if (t != s+1+strspn(s+1, "0123456789"))
-\begin_inset Newline newline
-\end_inset
-
- <<No gcc error found here, but it might terminate the scanning of a previous
- one>>
-\begin_inset Newline newline
-\end_inset