Initial part of ETC1 support: decompression code