#define banner  \
"extconv (CJK ver. 4.8.5)" \

/*2:*/
#line 94 "./cjkutils-src/extconv/extconv.w"

#include <stdio.h> 
#include <stdlib.h> 
#ifdef WIN32
#include <fcntl.h> 
#include <io.h> 
#endif


int main(int argc,char*argv[])
{int ch;

#ifdef WIN32
setmode(fileno(stdout),_O_BINARY);
#endif

fprintf(stdout,"\\def\\CJKpreproc{%s}",banner);

ch= fgetc(stdin);

while(!feof(stdin))
{if(ch>=0x81&&ch<=0xFE)
{fprintf(stdout,"\177%c\177",ch);

ch= fgetc(stdin);
if(!feof(stdin))
fprintf(stdout,"%d\177",ch);
}
else
fputc(ch,stdout);

ch= fgetc(stdin);
}
exit(EXIT_SUCCESS);
return 0;
}/*:2*/
