import "io/gzip";
		function zcompress(arr: Byte[]): Byte[]
		function zcompress(arr: Byte[], off: Integer, len: Integer): Byte[]
	
		function zuncompress(arr: Byte[]): Byte[]
		function zuncompress(arr: Byte[], off: Integer, len: Integer): Byte[]
	
		function gzip_compress(arr: Byte[]): Byte[]
		function gzip_compress(arr: Byte[], off: Integer, len: Integer): Byte[]
	
		function gzip_uncompress(arr: Byte[]): Byte[]
		function gzip_uncompress(arr: Byte[], off: Integer, len: Integer): Byte[]