rencode -- Reduced length encodings