   GZIP 
!!!  GZIPInputStream.class  
function ungzip(r : resource) : resource;
  
function read_string(r : resource) : String;
    
function string2stream(s : string) : resource;
   ,    