void write_ch(char ch) {
		if (sp == 4096) {

			fwrite(buff, 1, 4906, fout);

			fwrite(buff, 1, 4096, fout);

			sp = 0;

			buff[sp] = ch;

			buff[sp++] = ch;

		} else {
			buff[sp++] = ch;
		}

	if (_out_loc == 4096) {
		fwrite(_out_buff, 1, 4096, _fout);
		_out_loc = 0;

                _out_buff[_out_loc++] = ch;

	} else {
		_out_buff[_out_loc++] = ch;
	}