// Read an integer char by char, and position the cursor to next character
char readInt(FILE* stream, int* integer)
// Read an integer char by char, and position the cursor to next character
char readInt(FILE* stream, int* integer)
nextChar = fgetc(stream);
ungetc(nextChar, stream);
while ((nextChar = fgetc(stream)) >= '0' && nextChar <= '9')
nextChar = fgetc(stream);
ungetc(nextChar, stream);
while ((nextChar = fgetc(stream)) >= '0' && nextChar <= '9')
// Read current line
scan_line(ifile, sep, posID, &ID, posValue, &value);
// Read current line
scan_line(ifile, sep, posID, &ID, posValue, &value);
//We cannot write more than refTsLength values
if (tsLength < refTsLength)
tsBuffer[tsLength++] = value;
//We cannot write more than refTsLength values
if (tsLength < refTsLength)
tsBuffer[tsLength++] = value;