I believe we'd like an encoding that can encode *