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[]