#include <stdio.h>

int main(void) {
    FILE *readF,*writeF;
    int c1,i;
    char c2[]=" ";

    if(!(readF=fopen("a.txt","rb"))) return 0;
    if(!(writeF=fopen("b.txt","wb"))) return 0;

    while((c1=fgetc(readF))!=EOF) {
        if(c1=='\x20') {
            fputs(c2,writeF);
        } else if(c1=='\t') {
            for(i=0;i<4;i++) fputs(c2,writeF);
        } else {
            fputc(c1,writeF);
        }
    }
    
    return 0;
}