compressed types tests