vectors compress() and decompress()