Declared encoding