int done_outputing_bits() { fputc(buffer>>bits_to_go,outfile); return(0); }