Add 5-bit encoding, though not in use