; }   /* ===========================================================================      Flushes all pending output if necessary, closes the compressed file    and deallocates all the (de)compression state. 