Variable-length coding for mixed sources with side information allowing decoding errors.