WKdm_decompress_16k Declarationvoid WKdm_decompress_16k(WK_word *src_buf, WK_word *dest_buf, WK_word *scratch, unsigned int bytes);