char c = _fgetc(file);
while (c == ' ' || c == '\t') c = _fgetc(file);
while (c != EOF) {
if (c == ' ' || c == '\t') {
do { c = _fgetc(file); } while (c == ' ' || c == '\t');
if (c != ';') _buf_add(' ');
} else if (c == ';') {
do { c = _fgetc(file); } while (c == ' ' || c == '\t');
if (c != EOF) _buf_add(';');
} else {
_buf_add(c);
c = _fgetc(file);
}
}
fclose(file);